TPHOLs 2008 - 21st International Conference on Theorem Proving in Higher Order Logics - Montéal, Canada, 10-13 September 2008

Conference History

The TPHOLs Conference Series

TPHOLs 2008 is the twenty-first 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

2007
The 20th International Conference on Theorem Proving in Higher Order Logics,
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 ]
  Last modified: 14 Feb 2008. Contact: tphols08@ece.concordia.ca.    
TPHOLs 2008 is supported by National Institute of Aerospace (NIA), Microsystems Strategic Alliance of Québec (ReSMIQ), Intel Corporation, and Concordia University.

  LNCS ENCS HVG