+
+
+
+Marienplatz (city centre)
+
+
+
+
+The English Garden
+
+
+
+
+Chinese Tower (famous beer garden)
+
+
+
+
The Computer Science building of the TUM
+
+
+
+
+The main hall in the CS-building
+
+
+
+
+The Isar river
+
+
+
+
+The conference poster
+
History of TPHOLs
+ +The TPHOLs Conference Series
+ +TPHOLs 2009 is the twenty-second in a series of international conferences on +the applications of higher order logic theorem proving.
+ +The first three (two at Cambridge and one at Århus) were +informal users' meetings for the HOL system and were the only ones +without published papers. Between 1991 and 1995 (Davis, Leuven, +Vancouver, Malta, Utah) the conference entertained an increasingly +wide field of interest.
+ +The evolution resulted in the program committee for the meeting in +Turku (1996) deeming that the scope of the conference included all +reasoning tools for higher order logics and adopted the name TPHOLs, +being an acronym for Theorem Proving in Higher Order Logics. (The +final letter being considered necessary to break the direct connection +between the conference and the HOL system.) This decision was strongly +endorsed at the business sessions at Turku and Murray Hill (1997).
+ +An extensive collection of links to various aspects of previous +conferences in the series may be found below.
+ +Associated Communities
+ +An inspection of the proceedings of recent conferences show that the +conference accommodates the user communities of a number of theorem proving +systems that support higher order logics. The interested reader is referred to +the web sites for the following provers:
+ +| • ACL2 | +• Coq | +• HOL | +• IMPS | +• Isabelle | +• LEGO | +• Nuprl | +• ProofPower | +• PVS | +• TPS | +
Traditions
+ +A longstanding convention is that the annual conference should be +held in a continent different to the location of the previous +meeting.
+ +Another tradition is that the organizers for each meeting handle all +aspects of the conference for the whole year in consultation with the +previous few organizers. This includes selection of the programme +committee, editing the proceedings, fund-raising, programme and local +arrangements.
+ +Another responsibility of the organizers in year n is to call +for bids and conduct a poll for the selection of the venue for the +conference in year n+1. + + +
TPHOLs Conferences
+-
+
- 2009 +
- The 22nd International
+ Conference on Theorem Proving in Higher Order Logics,
+ Munich, Germany, August 17-20, 2009. + [ Proceedings ] +
+ - 2008 +
- The 21th International
+ Conference on Theorem Proving in Higher Order Logics,
+ Montreal, Canada, August 18-21, 2008. + [ Proceedings ] +
+ - 2007 +
- The 20th International
+ Conference on Theorem Proving in Higher Order Logics,
+ Kaiserslautern, Germany, September 10-13, 2007. + [ Proceedings ] +
+
+ - 2006 +
- The 19th International
+ Conference on Theorem Proving in Higher Order Logics,
+ merged with + 3rd International Joint Conference on Automated Reasoning,
+ Seattle, August 17-20, 2006. + [ Proceedings ] +
+
+ - 2005 +
- The 18th International
+ Conference on Theorem Proving in Higher Order Logics,
+ Oxford, UK , 22-25 August 2005. + [ Proceedings ] +
+
+ - 2004 +
- The 17th International
+ Conference on Theorem Proving in Higher Order Logics,
+ Park City, Utah, USA, 14-17 September 2004. +
+
+ - 2003 +
- The 16th International
+ Conference on Theorem Proving in Higher Order Logics,
+ Rome, Italy, 9-12 September 2003. + [ Proceedings ] +
+
+ - 2002 +
- The 15th International
+ Conference on Theorem Proving in Higher Order Logics,
+ Hampton, Virginia, USA, 20-23 August 2002. + [ Proceedings ] +
+ - 2001 +
- The 14th International
+ Conference on Theorem Proving in Higher Order Logics,
+ Edinburgh, Scotland, 3-6 September 2001. + [ Proceedings ] +
+ - 2000 +
- The 13th International
+ Conference on Theorem Proving in Higher Order Logics,
+ Portland, Oregon, USA, 14-18 August 2000. + [ BibTeX file | Proceedings ] +
+ - 1999 +
- The 12th International
+ Conference on Theorem Proving in Higher Order Logics,
+ Unversity of Nice-Sophia-Antipolis, Nice, France, 14-17 September 1999. + [ BibTeX file ] +
+ - 1998 +
- The 11th International
+ Conference on Theorem Proving in Higher Order Logics,
+ The Australian National University, Canberra, Australia, 28 September - 1 October 1998. + [ + BibTeX file ] +
+ - 1997 +
- The 10th
+ International Conference on Theorem Proving in Higher Order Logics,
+ Bell Labs, Murray Hill, New Jersey, USA, 19-22 August 1997. + [ BibTeX file ] +
+ - 1996 +
- The 9th
+ International Conference on Theorem Proving in Higher Order Logics,
+ Turku Center for Computer Science and Åbo Akademi University, + Turku, Finland, 26-30 August 1996. + [ BibTeX file ] +
+
HOL Workshops
+ +-
+
- 1995 +
- 8th International + Workshop on Higher Order Logic Theorem Proving and its Applications, + Aspen Grove, Utah, USA, 11-14 September 1995. + [ + BibTeX file ] + +
- 1994 + +
- 7th International + Workshop on Higher Order Logic Theorem Proving and its Applications, + Valletta, Malta, 19-22 September 1994. + [ + BibTeX file | + + Photograph ] + + +
- 1993 +
- 6th International Workshop on Higher Order Logic Theorem Proving and its + Applications, Vancouver, B.C., Canada, 10-13 August 1993. + [ + BibTeX file | + + Photograph ] + + +
- 1992 +
- 5th International Workshop on Higher Order Logic Theorem Proving and its + Applications, IMEC, Leuven, Belgium, 21-24 September 1992. + [ + BibTeX file | + + Photograph ] + + +
- 1991 +
- 4th International Workshop on the HOL Theorem Proving System and its + Applications, Davis, California, USA, 28-30 August 1991. + [ + BibTeX file ] + +
HOL Users Meetings
+ +-
+
- 1990 +
- 3rd International HOL Users Meeting, Aarhus University, Denmark,
+ 1-2 October 1990.
+ [ BibTeX file | + + Abstracts (DVI) | + + Abstracts (PostScript) | + + Photograph ] +
+ - 1989 +
- 2nd International HOL Users Meeting, Trinity Hall, Cambridge,
+ 14-15 December 1989.
+ [ + Abstracts (DVI) | + + Abstracts (PostScript) | + + Photograph ] +
+ - 1988 + +
- 1st International HOL Users Meeting, Sidney Sussex College, Cambridge,
+ 29-30 September 1988.
+ [ + Photograph ] +
+
