Logique et Interactions

• Gabriel Scherer - Deciding simply-typed equivalence with sums and the empty type - 26/01/2017 - 11h00 - 12h00
• Lorenzo Tortora de Falco - Remarques sur le développement de Taylor des réseaux - 15/12/2016 - 11h00 - 12h00
• Matteo Acclavio - Réécriture de diagrammes : applications à la théorie des catégories et à la théorie de la démonstration - 14/12/2016 - 14h00 - 15h30
• 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