Types for Proofs and Programs (TYPES)

24th TYPES 2018: Braga, Portugal

23rd TYPES 2017: Budapest, Hungary

22nd TYPES 2016: Novi Sad, Serbia

21st TYPES 2015: Tallinn, Estonia

20th TYPES 2014: Paris, France

19th TYPES 2013: Toulouse, France

18th TYPES 2011: Bergen, Norway

TYPES 2008: Torino, Italy

TYPES 2007: Cividale des Friuli, Italy

TYPES 2006: Nottingham, UK

TYPES 2004: Jouy-en-Josas, France

TYPES 2003: Torino, Italy

TYPES 2002: Berg en Dal, The Netherlands

TYPES 2000: Durham, UK

TYPES 1999: Lökeberg, Sweden

TYPES 1998: Kloster Irsee, Germany

TYPES 1996: Aussois, France

TYPES 1995: Torino, Italy

TYPES 1994: Båstad, Sweden

TYPES 1993: Nijmegen, The Netherlands

a service of Schloss Dagstuhl - Leibniz Center for Informatics