[Prev][Next][Index][Thread]

TPHOLs 2002 -- First Call For Papers


[ This conference may be of interest to TYPES readers; previous years'
  programs have included a number of papers with a type-theoretic
  dimension. --B ]

                  FIRST CALL FOR PAPERS: TPHOLs 2002

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

                          Hampton, Virginia
               Tuesday 20 August - Friday 23 August 2002 

              *******************************************
                http://shemesh.larc.nasa.gov/tphols2002  
              *******************************************

TOPICS

The programme committee welcomes submissions on all aspects of theorem
proving in higher order logics, and on related topics in theorem
proving and verification.  

SUBMISSION

Submissions are invited in the following categories:

 o Category A: Full research paper (Springer-Verlag's LNCS)
 o Category B: Work in progress    (ICASE-NASA Technical Report)

DEADLINES AND SUBMISSION PROCEDURE

                              Category A    Category B 

Submission deadline:          22 Feb 2002   17 May 2002 
Notification of acceptance:   22 Apr 2002   17 Jun 2002
Camera-ready copy due:        24 May 2002    5 Jul 2002 

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. Only electronic
submissions will be accepted.

CONFERENCE ORGANIZATION

The conference is being organized jointly by the NASA Langley Research
Center, ICASE, and Concordia University.

Enquiries concerning the conference should be emailed to
tphols2002@larc.nasa.gov