[mizar] TPHOLs 2002 - Second Call For Papers (fwd)

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

---------- Forwarded message ----------
Date: Wed, 9 Jan 2002 13:33:25 -0500 (EST)
From: tphols2002@larc.nasa.gov
To: tphols2002@larc.nasa.gov
Subject: TPHOLs 2002 - Second Call For Papers


                  SECOND CALL FOR PAPERS: TPHOLs 2002

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

                        Hampton, Virginia, USA
               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

More detailed and printable call for papers can be found at:

http://shemesh.larc.nasa.gov/tphols2002/call.pdf
http://shemesh.larc.nasa.gov/tphols2002/call.ps