2009

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

2014 2013 2011 2010 Back 2008 2007 2006