Types for Proofs and Programs (TYPES)

Venue statistics

records by year

document access 

    frequent authors

      28th TYPES 2022: Nantes, France

      27th TYPES 2021: Leiden, The Netherlands [virtual]

      26th TYPES 2020: Turin, Italy

      25th TYPES 2019: Oslo, Norway

      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