Logique et Interactions

• Gérard Berry - Logique intuitionniste et stabilisation dans les circuits électroniques - 21/03/2017 - 11h00 - 12h00
• Domenico Ruoppolo - Relational graph models and observational theories - 16/03/2017 - 11h00 - 12h00
• Anupam Das - Monotonicity in Logic and Complexity - 02/03/2017 - 11h00 - 12h00
• Rodolphe Lepigre - Proofs of programs and subtyping in PML2 - 16/02/2017 - 11h00 - 12h00
• Claudia Faggian - The geometry of parallelism: probabilistic and quantum effects - 02/02/2017 - 11h00 - 12h00
• Gabriel Scherer - Deciding simply-typed equivalence with sums and the empty type - 26/01/2017 - 11h00 - 12h00
• Lorenzo Tortora de Falco - Remarques sur le développement de Taylor des réseaux - 15/12/2016 - 11h00 - 12h00
• Matteo Acclavio - Réécriture de diagrammes : applications à la théorie des catégories et à la théorie de la démonstration - 14/12/2016 - 14h00 - 15h30
• Willem Heijltjes - Conflict nets: Locally canonical MALL proof nets - 14/12/2016 - 10h30 - 11h30
• Thomas Leventis - Lambda-théories probabilistes - 08/12/2016 - 14h00 - 16h00
• Antonino Salibra - The geometry of logic, algebra and computation - 08/12/2016 - 10h30 - 11h30
• Matteo Acclavio - Diagrammes de preuve pour la logique linéaire - 24/11/2016 - 14h00 - 15h00
• Christophe Raffalli - Practical Subtyping for System F - 17/11/2016 - 11h00 - 12h00
• John Gowers - Transfinite games and the sequoidal exponential - 03/11/2016 - 11h00 - 12h00
• Titouan Carette - Effectuses, land of probabilities - 20/10/2016 - 11h00 - 12h00
• André Joyal - Aspects of 2-algebras: operads, bimodules and analytic functors - 06/10/2016 - 11h00 - 12h00
• Fabio Pasquali - On some toposes of topological setoids - 29/09/2016 - 11h00 - 12h00
• Thomas Streicher - Classical realizability from relative realizability - 15/09/2016 - 10h30 - 12h00
• Samuel Mimram - Homological computations for term rewriting systems - 07/07/2016 - 11h00 - 12h00
• Pierre Clairambault - Une sémantique des jeux parallèle pour PCF - 30/06/2016 - 11h00 - 12h00