Logique et Interactions

• 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
• Andrea Gagna - Quillen's theorem A and categories as model for homotopy types - 12/11/2015 - 11h00 - 12h00
• Colin Riba - Fibrations of Tree Automata - 15/10/2015 - 11h00 - 12h00
• Eric Hoffbeck - Utilisation de catégories supérieures pour les résolutions d'algèbres - 08/10/2015 - 11h00 - 12h00
• Guillaume Geoffroy - L'instruction fork et le principe d'induction en réalisabilité classique - 24/09/2015 - 11h00 - 12h00
• Yves Lafont - Calcul oriental - 09/07/2015 - 14h00 - 15h00
• Etienne Miquey - Realizability games for the specification problem - 02/07/2015 - 11h00 - 12h00
• Thomas Leventis - Un résultat de full-abstraction pour les arbres de Böhm du lambda-calcul probabiliste - 25/06/2015 - 11h00 - 12h00
• Fabio Zanasi - Interacting Hopf algebras: the string diagrammatic theory of linear subspaces - 18/06/2015 - 11h00 - 12h00
• Emmanuel Beffara - Vers l'unification des systèmes de types pour processus mobiles - 04/06/2015 - 11h00 - 12h00
• Olivier Laurent - Treillis et extensions de la logique linéaire additive - 28/05/2015 - 11h00 - 12h00
• Pierre Hyvernat - Représentation des fonctions continues entre "streams" (& Co.) par des types de données - 23/04/2015 - 11h00 - 12h00
• Paolo Pistone - Sur les preuves et les types dans la logique du second ordre - 27/03/2015 - 0h00
• 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