Logique et Interactions

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