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)