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).

Important Dates

	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

Sponsors

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.