Archives 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