The Coq mailing list

[Otmane Ait Mohamed <ait AT encs.concordia.ca>]

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


           CALL FOR PAPERS: TPHOLs 2008--EMERGING TRENDS--

21st International Conference on Theorem Proving in Higher Order Logic
(TPHOLs 2008)

                              Montreal, Quebec, Canada

               Monday, August 18 through Thursday, August 21, 2008

                 **********************************************
                 *   http://www.ece.concordia.ca/TPHOLs2008   *
                 **********************************************

The 2008 International Conference on Theorem Proving in Higher Order
Logics will be the 21st in a series that dates back to 1988. The
conference will be held in Montreal, Quebec, Canada, on 18-21 August 2008.

Traditionally, TPHOLs has an "emerging trends section" (Category B-Paper)
for informal progress reports. Submissions under category B will not be
formally refereed, but their content and relevance will be reviewed.
Submissions accepted in this category will be published in a technical
report of Concordia University, which will be available at the conference.
Authors of accepted Category B 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.

The DEADLINE for submissions in emerging trends is: 02 May 2008

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 directly to the organizers using the email address
"tphols08 AT ece.concordia.ca".
 This email address can also be used for any
inquiries concerning the conference.