Logique et Interactions

• Fabio Pasquali - On some toposes of topological setoids - 29/09/2016 - 11h00 - 12h00
• Thomas Streicher - Classical realizability from relative realizability - 15/09/2016 - 10h30 - 12h00
• Samuel Mimram - Homological computations for term rewriting systems - 07/07/2016 - 11h00 - 12h00
• Pierre Clairambault - Une sémantique des jeux parallèle pour PCF - 30/06/2016 - 11h00 - 12h00
• 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