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

      22. TPHOLs 2009: Munich, Germany

      21. TPHOLs 2008: Montreal, Canada

      20. TPHOLs 2007: Kaiserslautern, Germany

      3. IJCAR 2006: Seattle, WA, USA

      18. TPHOLs 2005: Oxford, UK

      17. TPHOLs 2004: Park City, Utah, USA

      16. TPHOLs 2003: Rom, Italy

      15. TPHOLs 2002: Hampton, VA, USA

      14. TPHOLs 2001: Edinburgh, Scotland, UK

      13. TPHOLs 2000: Portland, Oregon, USA

      12. TPHOLs 1999: Nice, France

      TPHOLs 1999 Home Page

      11. TPHOLs 1998: Canberra, Australia

      10. TPHOLs 1997: Murray Hill, NJ, USA

      9. TPHOLs 1996: Turku, Finland

      8. TPHOLs 1995: Aspen Grove, UT, USA

      7. TPHOLs 1994: Valletta, Malta

      6. HUG 1993: Vancouver, BC, Canada

      5. TPHOLs 1992: Leuven, Belgium

      4. TPHOLs 1991: Davis, CA, USA

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics