Logique et Interactions

• 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
• Paolo Pistone - Une analyse philosophique et quelques résultats sur le typage - 06/02/2014 - 14h00 - 15h00
• Pierre Boudes - Espaces cohérents dans un cadre quantitatif - 30/01/2014 - 14h00 - 15h00
• Jean-Baptiste Midez - La réduction dans le λ-calcul avec ressources - 23/01/2014 - 14h00 - 15h00
• Alberto Carraro - Semantical analysis of λ-calculus by (Differential) Linear Logic - 16/01/2014 - 11h00 - 11h30
• Lionel Rieg - L'interprétation calculatoire du forcing en réalisabilité classique: l'exemple des arbres de Herbrand - 10/10/2013 - 14h00 - 15h00