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

[Home Page][Conference History][Call for Papers][Guide for Authors][Programme] 
[Related Events][How to Get There][Weather and Tourism][Registration][Accommodation] 
[Sponsors][Student Bursaries][Proceedings][Photos][Business Meeting][TPHOLs 2002]

Call for Papers

The submission deadlines have passed.

The 2001 International Conference on Theorem Proving in Higher Order Logics will be the fourteenth in a series that dates back to 1988. The conference will be held Monday 3rd September through Thursday 6th September in central Edinburgh, Scotland.

Topics

• Hardware and software verification, refinement and synthesis
• Verification of security and communications protocols
• Formal specification and requirements analysis of systems
• Industrial applications of theorem provers
• Advances in theorem prover technology
• Comparisons of various approaches to theorem proving
• Proof automation and decision procedures
• Incorporation of theorem provers into larger systems
• Combination of theorem provers with other provers and tools
• User interfaces for theorem provers
• Development and extension of higher order logics

Submission

• Category A: Full research paper
• Category B: Informal progress report

Submissions under category A will be fully refereed, and accepted papers will be published as a volume of Springer-Verlag's Lecture Notes in Computer Science series, which will be available at the conference. Authors of accepted papers are expected to present their work at the conference.

Submissions under category B will not be formally refereed, but their content and relevance will be reviewed. Those submissions accepted will be published in a technical report, which will be available at the conference. Authors of accepted papers are expected to present a brief outline of their work at the conference and to prepare a poster for display at the conference venue. Unless otherwise requested, submissions rejected under category A will also be considered for inclusion under category B.

Papers should be no more than 16 pages in length and should be written using LaTeX2e and the LNCS style file, which is available from http://www.springer.de/comp/lncs/authors.html. The TPHOLs web page should be consulted for further details on preparation and electronic submission.

Important Dates

Related Events

Programme Committee

Conference Organization

The organizing committee is as follows:

Conference Chair	Richard Boulton	University of Glasgow
Programme Chair	Paul Jackson	University of Edinburgh and Institute for System Level Integration
Local Arrangements Chair	Louise Dennis	University of Edinburgh
Other Local Arrangements	Jacques Fleuriot	University of Edinburgh
Publicity Chair	Simon Gay	University of Glasgow
TPHOLs/CHARME Coordinating General Chair	Tom Melham	University of Glasgow

Sponsors

• Intel
• Microsoft Research

Contact