Call for Papers - Participation
[ This conference may be of interest to TYPES readers; previous years'
programs have included a number of papers with a type-theoretic
dimension. --B ]
CALL FOR PARTICIPATION - TPHOLs 2002
CALL FOR PAPERS, CATEGORY B, WORK IN PROGRESS
The 2002 International Conference on Theorem Proving in Higher Order
Logics will be the fifteenth in a series that dates back to 1988. The
conference serves as a venue for the presentation of work in automated
deduction, formal specification, requirements, verification, and
Hampton, Virginia, USA
Tuesday 20 August - Friday 23 August 2002
** Registration is now open **
CALL FOR PAPERS - CATEGORY B, WORK IN PROGRESS
The program committee welcomes submissions reporting work in
progress, on all aspects of theorem proving in higher order logics,
and on related topics in theorem proving and verification.
DEADLINES AND SUBMISSION PROCEDURE
Submission deadline: 17 May 2002
Notification of acceptance: 17 Jun 2002
Camera-ready copy due: 5 Jul 2002
Papers should be no more than 16 pages in length. To submit, send a
message to firstname.lastname@example.org containing: title of the paper,
authors, contact author information (address, telephone, fax,
and email), abstract in ASCII, and the paper in PS or PDF attached.
Submissions will be acknowledged.
Category B papers will be published as a NASA 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
The conference is being organized jointly by the NASA Langley
Research Center, ICASE, and Concordia University.
Enquiries concerning the conference should be mailed to:
More detailed and printable call for papers can be found at: