Logique et Interactions

• Guillaume Geoffroy - Modèles de réalisabilité classique par réalisateurs universels - 02/06/2016 - 11h00 - 12h00
• Giulio Guerrieri - An untyped lambda-calculus generalizing Call-By-Name and Call-By-Value - 26/05/2016 - 11h00 - 12h00
• Gilles Dowek - Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system - 26/04/2016 - 14h00 - 15h00
• Lionel Vaux - β-réduction et développement de Taylor - 21/04/2016 - 11h00
• Lionel Vaux - β-réduction et développement de Taylor - 31/03/2016 - 11h00 - 12h30
• Flavien Breuvart - From hard work to trickery: a systematic approach of probabilistic rewriting - 24/03/2016 - 11h00 - 12h30
• Myriam Quatrini - Caractérisation des comportements de la Ludique - 17/03/2016 - 11h00 - 12h00
• Hugo Herbelin - dPAω: a dependently-typed classical arithmetic in finite types which proves dependent choices - 03/03/2016 - 11h00 - 12h00
• Giulio Guerrieri - Open Call-by-Value - 25/02/2016 - 11h00 - 12h00
• Benjamin Monmege - Logics for Weighted Automata and Transducers - 04/02/2016 - 11h00 - 12h00
• Lionel Rieg - Vers un compilateur prouvé d'Esterel vers les circuits - 28/01/2016 - 11h00 - 12h00
• Matteo Acclavio - Diagrammes de cordes pour la représentation des réseaux de preuves - 21/01/2016 - 11h00 - 12h00
• Daniel de Carvalho - Le modèle relationnel est injectif pour MELL - 07/01/2016 - 11h00 - 12h00
• Valentin Blot - Typed realizability for first-order classical analysis - 10/12/2015 - 14h00 - 15h00
• Luigi Santocanale - Fixed-point elimination in the Intuitionisitic Propositional Calculus - 10/12/2015 - 10h30 - 11h30
• Yves Guiraud - Réécriture linéaire et théorème de Squier pour les algèbres - 26/11/2015 - 11h00 - 12h00
• Andrea Gagna - Quillen's theorem A and categories as model for homotopy types - 12/11/2015 - 11h00 - 12h00
• Colin Riba - Fibrations of Tree Automata - 15/10/2015 - 11h00 - 12h00
• Eric Hoffbeck - Utilisation de catégories supérieures pour les résolutions d'algèbres - 08/10/2015 - 11h00 - 12h00
• Guillaume Geoffroy - L'instruction fork et le principe d'induction en réalisabilité classique - 24/09/2015 - 11h00 - 12h00