17-12-200910:00Pierre LescanneENS de LyonExplicit Substitutions and Intersection Types
27-11-200910:00Mariangiola Dezani-CiancagliniUniversita di TorinoSessions and Session Types
01-09-200913:00Attila FazekasUniversity of DebrecenNeighborhood sequences
25-05-200910:30Silvia LikavecUniversita di TorinoMIXIN CALCULUS AND ITS EXTENSIONS
19-02-200913:00Pierre LescanneEcole Normale Superieure de LyonMechanical Reasoning on Infinite Extensive Games
04-02-200910:00Serbia - CNRSTLIT-Presentations of young researchersWorkshop
30-01-200910:00Serbia - CNRSTLIT-Workshop on FATPAWorkshop
29-01-200913:00Viktor KuncakEcole Polytechnique Fédérale de LausanneAutomated Reasoning for Reliable Software
26-01-20099:00Silvia LikavecDipartimento di Informatica Universita' di TorinoOn the semantics of untyped calculus of Curien and Herbelin

Current Seminar CMS and past editions