The 1999 International Conference on Theorem Proving in Higher Order Logics will be the twelfth in a series that dates back to 1988. The Conference will be held on the four days Tuesday 14 September - Friday 17 September 1999 at l'Université de Nice, on the French Riviera. As with previous TPHOLs conferences, the 1999 formal proceedings will be published in Lecture Notes in Computer Science (LNCS). More information is available from the conference web site
The program committee welcomes submissions on all aspects of theorem proving in higher order logics and on applications. of higher order theorem proving. This includes, but is not limited to
The scope of the conference encompasses all mechanised reasoning tools for higher order logics.
Submissions under both categories must be kept to 18 pages or less, and should be prepared according to the LNCS style. Papers may be submitted electronically in either PostScript or Portable Document Format (PDF). Complete instructions on how to submit are available from the conference web site. Please read these before submitting your paper.Submissions should be sent before February 28th (May 19th for progress papers) to TPHOLs99@sophia.inria.fr
|Deadline for research paper submissions:||February, 28th 1999|
|Research paper acceptance notification:||April, 15th 1999|
|Camera-ready copy for research papers due:||May, 12th 1999|
|Deadline for progress paper submissions:||May, 19th 1999|
|Progress paper acceptance notification:||June, 30th 1999|
|Camera-ready copy for progress papers due:||July, 25th 1999|
|Conference:||September, 14-17 1999|
The TPHOLs'99 conference organisers are Yves Bertot, Gilles Dowek, André Hirschowitz. Christine Paulin-Mohring, LaurentThéry .
This Call for Papers is also available in other formats for printing and distribution.