[TPHOLs'99 Home Page] [Call for Papers] [Guide for Authors] [Accepted Papers] [Supplementary Proceedings] [Conference History] [Conference Schedule] [How to Get There] [Weather and Tourism]

The 12th International Conference on
Theorem Proving in Higher Order Logics

Tuesday 14 September - Friday 17 September 1999
at The University of Nice


Mechanical theorem provers for higher order logics have been successfully applied in many areas including hardware verification and synthesis; verification of security and communications protocols; software verification, transformation and refinement; compiler construction; and concurrency. The higher order logics used to reason about these problems and the underlying theorem prover technology that support them are also active areas of research. The TPHOLs conferences bring together people working in these and related areas for the discussion and dissemination of new ideas in the field.


The 1999 conference will have two tracks: one for research papers and another for work in progress papers.


TPHOLs'99 is sponsored by the following organisations:
Laboratoire J.A. Dieudonné - University of Nice-Sophia-Antipolis
Laboratoire J.A. Dieudonné

Contacting participants during the conference

If you need to get in touch with one of the participants of the conference, here are the phone and fax numbers:

Travel Bursaries

Thanks to the generous support of the conference sponsors, travel bursaries are available for students contributing to TPHOLs'99, and who would otherwise not have sufficient funds to attend. More information is available from the bursaries web page.


          Photo of the participants

[TPHOLs'99 Home Page] [Call for Papers] [Guide for Authors] [Accepted Papers] [Supplementary Proceedings] [Conference History] [Conference Schedule] [How to Get There] [Weather and Tourism]

Comments and Feedback: TPHOLs99@sophia.inria.fr
Author: The TPHOLs'99 Organising Committee
Date Last Modified: Wed 30 Aug 2000
URL: index.html