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


The technical programme of TPHOLs 2008 begins at 9 a.m. Monday, August 18 and runs through until 4:00 p.m. on Thursday, August 21. On the afternoon of Wednesday, August 20 there will be a relaxing cruise on the St. Lawrence River combined with an excellent dinner within a panoramic view of the city.
The technical programme consists of 18 regular presentations. We are proud to further present two invited talks given by Mike Gordon and Steve Miller (details about their presentation will be provided later).  In addition, five one hour tutorials will be given by Konrad Slind for HOL, Sam Owre for PVS, Makarius Wenzel for Isabelle, Yves Bertot for Coq, and Matt Kaufmann for ACL2. Moreover, the 8th International Workshop on User Interfaces for Theorem Provers UITP'08  is co-located with TPHOLs and will be held on August 22, 2008.


Click Here to view the detailed program.
Pdf version is 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.