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



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

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

          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: 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 at ece.concordia.ca". This email address can also be used for any
inquiries concerning the conference.







This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.