Second CALL FOR PARTICIPATION
21st International Conference on Theorem Proving in
Higher Order Logics
(TPHOLs 2008)
http://www.ece.concordia.ca/TPHOLs2008
[EMAIL PROTECTED]
August 18-21, 2008, Montreal, Quebec, Canada
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.
REGISTRATION
Registration is now open. Please visit the TPHOLs 2008 web site,
http://www.ece.concordia.ca/TPHOLs2008/, to register.
INVITED SPEAKERS
Mike Gordon, University of Cambridge, UK.
Twenty Years of Theorem Proving for HOLs
Steve Miller, Advanced Technology Center, Rockwell Collins, USA
Will This Be Formal?
INVITED TUTORIALS
Konrad Slind. A Brief Overview of HOL4
Sam Owre. A Brief Overview of PVS
Makarius Wenzel. The Isabelle Framework
Yves Bertot. A short presentation of Coq
Matt Kaufmann. An ACL2 Tutorial
ACCOMMODATION
Information on accommodation is available on the TPHOLs 2008
web site (click on the registration tab).
RELATED EVENTS
On Friday 22 August, the day after TPHOLs 2008 finishes, the UITP
Workshop on User Interfaces for Theorem Proving will take place.
Further information on the UITP workshop
can be found at http://www.informatik.uni-bremen.de/~cxl/uitp/
SPONSORS
TPHOLs 2008 is sponsored by the following organizations:
o ENCS
o NIA
o Intel
o RESMIQ
o Concordia University
CONTACT
Enquiries concerning the conference should be emailed to
[EMAIL PROTECTED]
OUTLINE PROGRAMME
Monday 18th, Tuesday 19th: Technical sessions.
Wednesday 20th: Technical sessions; excursion; conference dinner.
Thursday 21st: Technical sessions.
Friday 22nd : UITP workshop.
The preliminary programme is available on the conference web site.
-------------------------------------------------------------------------
Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW!
Studies have shown that voting for your favorite open source project,
along with a healthy diet, reduces your potential for chronic lameness
and boredom. Vote Now at http://www.sourceforge.net/community/cca08
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
