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

    TPHOLs 2005

    • 22-25 August
    • Oxford, UK
  4. 2004

    TPHOLs 2004

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

    TPHOLs 2003

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

    TPHOLs 2002

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

    TPHOLs 2001

    • 3-6 September
    • Edinburgh, UK
  8. 2000

    TPHOLs 2000

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

    TPHOLs 1999

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

    TPHOLs 1998

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

    TPHOLs 1997

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

    TPHOLs 1996

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

    TPHOLs 1995

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