Logique et Interactions

• Jean-Louis Krivine - Bar recursion, sémantique dénotationnelle et réalisabilité classique - 26/03/2015 - 11h00 - 12h30
• Thomas Ehrhard - Types inductifs stricts et paresseux, du point de vue de la logique linéaire - 19/03/2015 - 11h00 - 12h30
• Charles Grellois - A semantic study of higher-order model-checking - 19/02/2015 - 11h00 - 12h00
• Michele Basaldella - Unary second-order propositional logic - 29/01/2015 - 11h00 - 12h00
• Eugenia Sironi - Types in Ludics - 15/01/2015 - 14h00 - 16h00
• Marie Kerjean - Topologies faibles et logique linéaire - 08/01/2015 - 11h00 - 12h00
• Jean-Baptiste Midez - Une étude combinatoire du lambda-calcul avec ressources uniforme - 15/12/2014 - 11h00 - 13h00
• Michele Alberti - On operational properties of quantitative extensions of lambda-calculus - 05/12/2014 - 10h30 - 12h00
• Marc Bagnol - On the resolution semiring (sur le semi anneau de résolution) - 04/12/2014 - 9h30 - 11h00
• Dimitri Ara - Théorie homotopique des n-catégories - 09/10/2014 - 11h00 - 12h00
• Dimitri Ara - Théorie homotopique des n-catégories - 02/10/2014 - 11h00 - 12h00
• Clément Aubert - Programmation logique, unification et espace logarithmique - 12/06/2014 - 14h00 - 15h00
• Myriam Quatrini - La Ludique: de la logique mathématique au langage naturel - 23/05/2014 - 14h00 - 16h00
• Laurent Poinsot - Sur le groupoïde de géométrie d'une variété équationnelle équilibrée - 25/04/2014 - 11h00 - 12h00
• Philip Scott - Coordinatizing MV algebras and AF C*-algebras by inverse monoids - 18/04/2014 - 14h00 - 15h00
• Marc Lasson - Canonicity of groupoids laws using parametricity theory - 18/04/2014 - 11h00 - 12h00
• Alejandro Díaz-Caro - Type theory modulo isomorphisms - 09/04/2014 - 14h00 - 15h00
• Benoît Valiron - Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi - 28/03/2014 - 14h00 - 15h00
• Benedikt Ahrens - Category theory in the Univalent Foundations - 18/03/2014 - 11h00 - 12h00
• Giuseppe Greco - Proof theory for dynamic logics - 10/02/2014 - 14h00 - 15h00