Logique et Interactions

• Willem Heijltjes - Conflict nets: Locally canonical MALL proof nets - 14/12/2016 - 10h30 - 11h30
• Thomas Leventis - Lambda-théories probabilistes - 08/12/2016 - 14h00 - 16h00
• Antonino Salibra - The geometry of logic, algebra and computation - 08/12/2016 - 10h30 - 11h30
• Matteo Acclavio - Diagrammes de preuve pour la logique linéaire - 24/11/2016 - 14h00 - 15h00
• Christophe Raffalli - Practical Subtyping for System F - 17/11/2016 - 11h00 - 12h00
• John Gowers - Transfinite games and the sequoidal exponential - 03/11/2016 - 11h00 - 12h00
• Titouan Carette - Effectuses, land of probabilities - 20/10/2016 - 11h00 - 12h00
• André Joyal - Aspects of 2-algebras: operads, bimodules and analytic functors - 06/10/2016 - 11h00 - 12h00
• 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