Last CFP for "Emerging Trends TPHOLs 2003"



Date view Thread view Subject view Author view Attachment view

From: Burkhart Wolff (wolff@informatik.uni-freiburg.de)
Date: Mon 26 May 2003 - 18:28:44 BST


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


                       LAST CALL FOR PAPERS: TPHOLs 2003
                         * EMERGING TRENDS SECTION *

                 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.

Traditionally, TPHOLs has an "emerging trends section" for informal 
progress reports. 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".

The DEADLINE for submissions in emerging trends is now rapidly 
approaching:

  o Deadline for "emerging trends" submissions:              30 May 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.

Submissions have to be electronically via our submission service at

      http://admtphols.informatik.uni-freiburg.de/submit



PROGRAM CHAIR

David Basin (ETH Zuerich)	Burkhart Wolff (Freiburg)

Date view Thread view Subject view Author view Attachment view