[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
"[EMAIL PROTECTED]". This email address can also be used for any
inquiries concerning the conference.
-------------------------------------------------------------------------
This SF.net email is sponsored by the 2008 JavaOne(SM) Conference
Don't miss this year's exciting event. There's still time to save $100.
Use priority code J8TL2D2.
http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
