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