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

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
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