=== 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//