The Coq mailing list

[Gilles Dowek <Gilles.Dowek AT inria.fr>]

TPHOLs TPHOLs TPHOLs TPHOLs TPHOLs TPHOLs TPHOLs TPHOLs TPHOLs TPHOLs TPHOLs 




                   CALL FOR PAPERS: TPHOLs'99
                       
             The 12th International Conference on
            Theorem Proving in Higher Order Logics


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 15 September -
Friday 18 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 
http://www-sop.inria.fr/croap/TPHOLs99/


TOPICS
------

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

  - hardware verification and synthesis
  - verification of security and communications protocols
  - software refinement, transformation and verification
  - 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
  - exploitation of external tools within theorem provers
  - connecting theorem provers together
  - user interfaces for theorem provers
  - development and extension of higher order logics

The scope of the conference encompasses all mechanised reasoning
tools for higher order logics.


SUBMISSION AND PUBLICATIONS
---------------------------

Submissions are invited in the following categories:

Formal Research Papers:

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

Work in Progress Papers:

    Submissions in this category will not be formally refereed, but
    their content and relevance will be reviewed.  Accepted papers
    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.

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 AT sophia.inria.fr.


IMPORTANT DATES
---------------

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


PROGRAM COMMITEE
----------------

Mark Aagaard (Intel)                   Doug Howe (Lucent)
Sten Agerholm (IFAD)                   Bart Jacobs (Nijmegen)
David Basin (Freiburg)                 Sara Kalvala (Warwick)
Yves Bertot (INRIA)                    Tom Melham (Glasgow)
Richard Boulton (Edinburgh)            Paul Miner (NASA)
Gilles Dowek (INRIA)                   Malcolm Newey (ANU)
Mike Gordon (Cambridge)                Tobias Nipkow (Muenchen)
Jim Grundy (ANU)                       Sam Owre (SRI)
Elsa Gunter (Bell Labs)                Christine Paulin-Mohring (LRI)
Joshua Guttman (Mitre)                 Lawrence Paulson (Cambridge)
John Harrison (Intel)                  Sofiène Tahar (Concordia)


CONFERENCE ORGANISATION
-----------------------

The TPHOLs'99 conference organisers are Yves Bertot (INRIA), André
Hischowitz (Université de Nice) and Laurent Théry (INRIA). They may be
contacted at 
TPHOLs99 AT sophia.inria.fr.
 

TPHOLs TPHOLs TPHOLs TPHOLs TPHOLs TPHOLs TPHOLs TPHOLs TPHOLs TPHOLs TPHOLs