TYPES

International Workshop on Types for Proofs and Programs

  1. 2008

    TYPES 2008

    • 26-29 March
    • Torino, Italy
  2. 2007

    TYPES 2007

    • 2-5 May
    • Cividale del Friuli, Italy
  3. 2006

    TYPES 2006

    • 18-21 April
    • Nottingham, United Kingdom
  4. 2004

    TYPES 2004

    • 15-18 December
    • Jouy-en-Josas, France
  5. 2003

    TYPES 2003

    • 30 April - 4 May
    • Torino, Italy
  6. 2002

    TYPES 2002

    • 24-28 April
    • Berg en Dal, The Netherlands
  7. 2000

    TYPES 2000

    • 8-12 December
    • Durham, United Kingdom
  8. 1996

    TYPES 1996

    • 15-19 December
    • Aussois, France
  9. 1995

    TYPES 1995

    • 5-8 June
    • Torino, Italy