[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] Call for Papers - Participation (fwd)


---------- Forwarded message ----------
Date: Mon, 6 May 2002 16:14:56 -0400 (EDT)
From: TPHOLs <tphols2002@larc.nasa.gov>
To: mizar-forum@mizar.uwb.edu.pl
Subject: Call for Papers - Participation


              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 related fields.

                       Hampton, Virginia, USA
              Tuesday 20 August - Friday 23 August 2002

                   ** Registration is now open **
           http://shemesh.larc.nasa.gov/registration.html

           CALL FOR PAPERS - CATEGORY B, WORK IN PROGRESS

TOPICS

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 tphols2002@larc.nasa.gov 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.

PUBLICATION

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
conference venue.

CONFERENCE ORGANIZATION

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

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

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

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