Home
Papers
Teaching
Misc
Pictures of conferences
Types Summer School / TPHOLs'99 (Giens / Nice)
Types Working Group Annual Meeting 2000 (Durham)
Marktoberdorf Summer School 2001
TPHOLs 2001 (Edinburgh)
Marktoberdorf Summer School 2003
Types Working Group Annual Meeting 2003 (Torino)
Spring School "Logic in Computer Science" 2004 (Venice)
Workshop on Constructive mathematics, program extraction and verification 2005 (Venice)
Types 2006 Conference (Nottingham)
Types 2007 Conference (Cividale)
Workshop on Mathematical Theories of Abstraction, Substitution and Naming in Computer Science (Edinburgh)
LFMTP Workshop and Isabelle Workshop at CADE 2007 (Bremen)
Last modified: Sun Mar 22 00:20:50 CET 2009