TPHOLs 2002 -- First Call For Papers (fwd)

[Czeslaw Bylinski <bylinski@math.uwb.edu.pl>]

---------- Forwarded message ----------
Date: Wed, 10 Oct 2001 14:34:22 -0400
From: Cesar Munoz <munoz@icase.edu>
Reply-To: tphols2002@larc.nasa.gov
Subject: TPHOLs 2002 -- First Call For Papers


                  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