Jeudi 17 décembre 2015 : Jean-Marie Madiot (Princeton University), Bisimulations up-to: beyond first-order transition systems
Jeudi 26 novembre 2015 : Fabio Zanasi (Radboud University of Nijmegen, Netherlands), Interacting Hopf Algebras - the theory of linear systems
Jeudi 19 novembre 2015 : Beniamino Accattoli (INRIA), Proof nets and the lambda-calculus 2.0
Jeudi 5 novembre 2015 : double séminaire
10h30 : Russell Harmer (ENS Lyon), Executable knowledge
14h00 : Luca Padovani (Torino, Italy), The Chemical Approach to Typestate-Oriented Programming
Jeudi 17 septembre 2015 : Stéphane Graham-Lengrand (LIX), Non-idempotent intersection types and quantitative information about reduction paths: a survey
Jeudi 10 septembre 2015 : Christian Schulte (School of ICT, KTH Royal Institute of Technology, and Swedish Institute of Computer Science, Sweden), Modeling and Solving Code Generation for Real