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