Automated Reasoning Group HOL page

Conferences Related to the HOL System

TPHOLs Conferences

2006

The 3rd International Joint Conference on Automated Reasoning (IJCAR), Seattle, August 17 - 20, 2006.

2005

The 18th International Conference on Theorem Proving in Higher Order Logics, Oxford, UK, 22-25 August 2005.

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.

2002

The 15th International Conference on Theorem Proving in Higher Order Logics, Hampton, Virginia, USA, 20-23 August 2002.

2001

The 14th International Conference on Theorem Proving in Higher Order Logics, Edinburgh, Scotland, 3-6 September 2001.
BibTeX file / Proceedings.

2000

The 13th International Conference on Theorem Proving in Higher Order Logics, DoubleTree Hotel, 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 (TUCS) and Åbo Akademi University, Turku, Finland, 26-30 August 1996.
BibTeX file.

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 (1MB).

1993

6th International Workshop on Higher Order Logic Theorem Proving and its Applications, Vancouver, B.C., Canada, 10-13 August 1993.
BibTeX file / Photograph (2.6MB).

1992

5th International Workshop on Higher Order Logic Theorem Proving and its Applications, IMEC, Leuven, Belgium, 21-24 September 1992.
BibTeX file / Photograph (1.3MB).

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.
Copies of the overhead transparencies from the talks were published as a technical report (BibTeX file).
Abstracts (DVI) / Abstracts (PostScript) / Photograph (1.3MB).

1989

2nd International HOL Users Meeting, Trinity Hall, Cambridge,
14-15 December 1989.
Abstracts (DVI) / Abstracts (PostScript) / Photograph (4.3MB).

1988

1st International HOL Users Meeting, Sidney Sussex College, Cambridge,
29-30 September 1988.
Photograph (2.5MB).

Other Conferences

FMCAD and CHARME

The International Conference on Formal Methods in Computer-Aided Design and the Advanced Research Working Conference on Correct Hardware Design and Verification Methods

DCC'04

Designing Correct Circuits, Barcelona, Spain
27-28 March 2004

Formal Methods in System Design, Volume 3, Numbers 1/2.

Kluwer Academic Publishers, August 1993.
Special Issue on Higher Order Logic Theorem Proving and its Applications, I. Guest Editors: Luc Claesen and Michael Gordon.
BibTeX file.

Formal Methods in System Design, Volume 5, Numbers 1/2.

Kluwer Academic Publishers, July 1994.
Special Issue on Higher Order Logic Theorem Proving and its Applications, II. Guest Editors: Luc Claesen and Michael Gordon.
BibTeX file.

The Computer Journal, Volume 38, Number 2.

The British Computer Society/Oxford University Press, 1995.
Special Issue on Higher Order Logic Theorem Proving and its Applications. Guest Editor: T. F. Melham.
BibTeX file.