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


Conference Organisers

The conference is being organised by the Department of Electrical and Computer Engineering of the University of Concordia and National Institute of Aerospace. The organising committee is as follows:

Enquiries concerning the conference should be emailed to

TPHOLs 2009 Host Selection

It is a long-standing custom that the host (in year n) of TPHOLs helps to select the host of TPHOLs for year n+1. Please refer to the TPHOLs 2009 host selection page for details.

TPHOLs 2008 Business Meeting

The TPHOLs 2008 Business Meeting will take place on 21 August 2008. The minutes are available here.

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