Logique et Interactions

• 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
• 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