TPHOLs

International Conference on Theorem Proving in Higher Order Logics

  1. 2009

    TPHOLs 2009

    • 17-20 August
    • Munich, Germany
  2. 2008

    TPHOLs 2008

    • 18-21 August
    • Montreal, QC, Canada
  3. 2007

    TPHOLs 2007

    • 10-13 September
    • Kaiserslautern, Germany
  4. 2005

    TPHOLs 2005

    • 22-25 August
    • Oxford, United Kingdom
  5. 2004

    TPHOLs 2004

    • 14-17 September
    • Park City, UT, USA
  6. 2003

    TPHOLs 2003

    • 8-12 September
    • Rome, Italy
  7. 2002

    TPHOLs 2002

    • 20-23 August
    • Hampton, VA, USA
  8. 2001

    TPHOLs 2001

    • 3-6 September
    • Edinburgh, United Kingdom
  9. 2000

    TPHOLs 2000

    • 14-18 August
    • Portland, OR, USA
  10. 1999

    TPHOLs 1999

    • 14-17 September
    • Nice, France
  11. 1998

    TPHOLs 1998

    • 27 September - 1 October
    • Canberra, ACT, Australia
  12. 1997

    TPHOLs 1997

    • 19-22 August
    • Murray Hill, NJ, USA
  13. 1996

    TPHOLs 1996

    • 26-30 August
    • Turku, Finland
  14. 1995

    TPHOLs 1995

    • 11-14 September
    • Aspen Grove, UT, USA