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. 1999

    TYPES 1999

    • 12-16 June
    • Lökeberg, Sweden
  9. 1998

    TYPES 1998

    • 27-31 March
    • Kloster Irsee, Germany
  10. 1996

    TYPES 1996

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

    TYPES 1995

    • 5-8 June
    • Torino, Italy
  12. 1994

    TYPES 1994

    • 6-10 June
    • Bastad, Sweden
  13. 1993

    TYPES 1993

    • 24-28 May
    • Nijmegen, The Netherlands