2009
| 17-12-2009 | 10:00 | Pierre Lescanne | ENS de Lyon | Explicit Substitutions and Intersection Types |
| 27-11-2009 | 10:00 | Mariangiola Dezani-Ciancaglini | Universita di Torino | Sessions and Session Types |
| 01-09-2009 | 13:00 | Attila Fazekas | University of Debrecen | Neighborhood sequences |
| 25-05-2009 | 10:30 | Silvia Likavec | Universita di Torino | MIXIN CALCULUS AND ITS EXTENSIONS |
| 19-02-2009 | 13:00 | Pierre Lescanne | Ecole Normale Superieure de Lyon | Mechanical Reasoning on Infinite Extensive Games |
| 04-02-2009 | 10:00 | Serbia - CNRS | TLIT-Presentations of young researchers | Workshop |
| 30-01-2009 | 10:00 | Serbia - CNRS | TLIT-Workshop on FATPA | Workshop |
| 29-01-2009 | 13:00 | Viktor Kuncak | Ecole Polytechnique Fédérale de Lausanne | Automated Reasoning for Reliable Software |
| 26-01-2009 | 9:00 | Silvia Likavec | Dipartimento di Informatica Universita' di Torino | On the semantics of untyped calculus of Curien and Herbelin |