CFP for TPHOLs 2003



Date view Thread view Subject view Author view Attachment view

From: Burkhart Wolff (wolff@informatik.uni-freiburg.de)
Date: Thu 19 Dec 2002 - 12:56:24 GMT


      [We apologize if you receive multiple copies of this message]


                       CALL FOR PAPERS: TPHOLs 2003
                   CALL FOR TUTORIALS/SATELLITE WORKSHOPS

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

                              Rome, Italy

               Monday, September 8 through Friday, September 12, 2003

             ************************************************
             *   http://tphols.informatik.uni-freiburg.de/  *
             ************************************************

The 2003 International Conference on Theorem Proving in Higher Order
Logics will be the sixteenth in a series that dates back to 1988.
The conference will be held Monday 8 September through Friday 12 September,
2003, at Universita di Roma Tre, Rome, Italy, in conjunction with
TABLEAUX2003 and CALCULEMUS2003. The first day of the conference will 
be devoted to tutorials or satellite workshops, with the remaining 4 
days covering the main conference program.



TOPICS

The program committee welcomes submissions on all aspects of theorem
proving in higher order logics, on related topics in theorem
proving and verification, and on relevant applications.
This includes, but is not limited to, the following topics:

  o  Hardware and software verification, refinement and synthesis
  o  Verification of security and communication protocols
  o  Formal specification and requirements analysis of systems
  o  Industrial applications of theorem provers
  o  Advances in theorem prover technology
  o  Comparisons of various approaches to theorem proving
  o  Proof automation and decision procedures
  o  Incorporation of theorem provers into larger systems
  o  Combination of theorem provers with other provers and tools
  o  Use of theorem provers in system certification
  o  User interfaces for theorem provers
  o  Development and extension of higher order logics

SUBMISSION

Submissions are invited in the following categories:

 o Mature Work Track: Full research paper
 o Emerging Trends Track: Informal progress report

Submissions under "mature work" will be fully refereed, and accepted papers
will be published as a volume of Springer-Verlag's Lecture Notes in
Computer Science series ("http://www.springer.de/comp/lncs/"),
which will be available at the conference.  Authors of accepted papers
are expected to present their work at the conference.

Submissions under "emerging trends" will not be formally refereed, but their
content and relevance will be reviewed.  Those submissions accepted
will be published in a 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.  Unless otherwise requested,
submissions rejected under "mature work" will also be considered for
inclusion under "emerging trends".

DEADLINES AND SUBMISSION PROCEDURE

  o Deadline for "mature work" submissions:                  21 Feb 2003
  o Deadline for "emerging trends" submissions:              20 Apr 2003
  o Notification of acceptance:                               2 Apr 2003
  o Camera-ready copy for "mature work" due (provisional):    7 May 2003
  o Conference:                                            8-12 Sep 2003

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".  Submissions should
be sent electronically following the instructions on the TPHOLs web
page, or emailed directly to the organizers using the email address
"tphols2003@informatik.uni-freiburg.de".  This email address can also 
be used for any inquiries concerning the conference.

PROGRAM CHAIR

David Basin (ETH Zuerich)	Burkhart Wolff (Freiburg)

PROGRAM COMMITTEE


Mark Aargaard (Waterloo)              Yves Bertot (INRIA)		   
Alan Bundy (U. Edinburgh)	      Victor Carreno (NASA)		   
Iliano Cervesato (ITT)		      Thierry Coquand (Chalmers)
Peter Dybjer (Chalmers)               Amy Felty (Ottawa)		   
Mike Gordon (Cambridge)		      John Harrison (Intel)		   
Jean-Christophe Filliatre(Paris Sud)  Jim Grundy (Intel)		
Elsa Gunter (NJIT)		      Doug Howe (Carlton)              
Paul Jackson (Edinburgh)	      Bart Jacobs (Nijmegen)
Sara Kalvala (Warwick)		      Thomas Kropf (Bosch)		   
Tom Melham (Oxford)                   Cesar Munoz (NASA)
Tobias Nipkow (Muenchen)              Sam Owre (SRI)
Christine Paulin-Mohring (Paris Sud)  Lawrence Paulson (Cambridge)
Frank Pfenning (CMU)	              Wolfgang Reif (Augsburg)	   
Konrad Slind (Utah)		      Sofiene Tahar (Concordia)


CONFERENCE ORGANIZATION

Organizers for the conference are David Basin (ETH Zuerich, Switzerland), 
Burkhart Wolff (University of Freiburg, Germany) and Marta Cialdea 
(Universita di Roma Tre, Italy; local arrangements).

Date view Thread view Subject view Author view Attachment view