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

[PVS] Call For Emerging Trends-TPHOLs08--DEADLINE EXTENSION--

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

        --------DEADLINE EXTENDED  to May 20, 2008.-----


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: 20 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@xxxxxxxxxxxxxxxx". This email address can also be used for any
inquiries concerning the conference.