TPHOLs 2008 - 21st International Conference on Theorem Proving in Higher Order Logics - Montéal, Canada, 10-13 September 2008

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.


Engineering Building of Concordia University

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.

  Concordia University NIA RESMIQ Intel  
  Last modified: 14 Feb 2008. Contact: tphols08@ece.concordia.ca.    
TPHOLs 2008 is supported by National Institute of Aerospace (NIA), Microsystems Strategic Alliance of Québec (ReSMIQ), Intel Corporation, and Concordia University.

  LNCS ENCS HVG