International Conference on Theorem Proving in Higher Order Logics (TPHOLs)

International Workshop Higher Order Logic Theorem Proving and its Applications

Venue statistics

records by year

document access 

    frequent authors

      Venue Information

      text to speech

      22nd TPHOLs 2009: Munich, Germany

      21st TPHOLs 2008: Montreal, Canada

      20th TPHOLs 2007: Kaiserslautern, Germany

      3rd IJCAR 2006: Seattle, WA, USA

      18th TPHOLs 2005: Oxford, UK

      17th TPHOLs 2004: Park City, Utah, USA

      16th TPHOLs 2003: Rom, Italy

      15th TPHOLs 2002: Hampton, VA, USA

      14th TPHOLs 2001: Edinburgh, Scotland, UK

      13th TPHOLs 2000: Portland, Oregon, USA

      12th TPHOLs 1999: Nice, France

      TPHOLs 1999 Home Page

      11th TPHOLs 1998: Canberra, Australia

      10th TPHOLs 1997: Murray Hill, NJ, USA

      9th TPHOLs 1996: Turku, Finland

      8th TPHOLs 1995: Aspen Grove, UT, USA

      7th TPHOLs 1994: Valletta, Malta

      6th HUG 1993: Vancouver, BC, Canada

      5th TPHOLs 1992: Leuven, Belgium

      4th TPHOLs 1991: Davis, CA, USA

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics