From: Burkhart Wolff (firstname.lastname@example.org)
Date: Fri 11 Oct 2002 - 14:52:25 BST
[We apologize if you receive multiple copies of this message] CALL FOR PAPERS: TPHOLs 2003 The 16th International Conference on Theorem Proving in Higher Order Logics Rome, Italy Monday 8 September - Friday 12 September 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, 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/index.html"), 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 "email@example.com". This email address can also be used for any inquiries concerning the conference. PROGRAM CHAIR David Basin (ETH Zuerich) Burkhart Wolff (Freiburg) PROGRAM COMMITTEE Amy Felty (Ottawa) Bart Jacobs (Nijmegen) Mike Gordon (Cambridge) Frank Pfenning (CMU) Konrad Slind (Utah) Tom Melham (Glasgow) Paul Jackson (Edinburgh) Tobias Nipkow (Muenchen) Victor Carreno (NASA) Sam Owre (SRI) Yves Bertot (INRIA) Christine Paulin-Mohring (INRIA) Alan Bundy (U. Edinburgh) Lawrence Paulson (Cambridge) Sara Kalvala (Warwick) Sofiene Tahar (Concordia) Wolfgang Reif (Augsburg) Doug Howe (Bell Labs) Iliano Cervesato (ITT) Peter DyBjer (Chalmers) Thomas Kropf (Bosch) Mark Aargaard (Waterloo) John Harrison (Intel) Jim Grundy (Intel) Elsa Gunter (NJIT) Thierry Coquand (Chalmers) Jean-Christophe Filiatre (INRIA) 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).