Email Gateway (Aug 18 2022 at 11:43): Email Gateway (Aug 18 2022 at 11:43):From: Otmane Ait Mohamed <ait@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@ece.concordia.ca". This email address can also be used for any
inquiries concerning the conference.
Last updated: Nov 21 2024 at 12:39 UTC