The Department of Electrical and Computer Engineering of the University of Concordia is pleased to host the 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008) in Montréal, Québec, Canada on 18th to 21st August, 2008. The conference will be held at the new 19-storey (two underground floors) Concordia Engineering & Computer Science building, home of the Engenering and Computer Science faculty.
TPHOLs 2008 is co-located with the UITP (User Interfaces for Theorem Provers workshop).
|Category A||Category B|
|Abstract submission||15 Feb 2008|
|Submission deadline||22 Feb 2008||20 May 2008|
|Notification of acceptance||15 Apr 2008||02 July 2008|
|Camera-ready copy due||15 May 2008||31 July 2008|
|Conference Date||18-21 Aug 2008|
TPHOLs 2008 is supported by National Institute of Aerospace (NIA), Microsystems Strategic Alliance of Québec (ReSMIQ), Intel Corporation, and Concordia University. It is hosted by Hardware Verification Group (HVG) of Concordia.
|Last modified: 14 Feb 2008. Contact: firstname.lastname@example.org.|
|TPHOLs 2008 is supported by National Institute of Aerospace (NIA), Microsystems Strategic Alliance of Québec (ReSMIQ), Intel Corporation, and Concordia University.|