TPHOLs 2007 Programme

Overview

The technical programme of TPHOLs 2007 begins at 09:00 Monday 10 September and runs through until 16:30 on Thursday 13 September. On the afternoon of Wednesday 12 September there will be an excursion, followed by the conference banquet in the evening.

The technical programme consists of 26 regular presentations and 13 work-in-progress presentations. We are proud to further present three invited talks given by Constance L. Heitmeyer (Naval Research Laboratory, Washington, DC, USA), Xavier Leroy (INRIA, Paris-Rocquencourt, France), and Peter Liggesmeyer (Fraunhofer IESE, Kaiserslautern, Germany). Moreover, the first workshop on formal verification of adaptive systems (VerAS) is co-lated with TPHOLs and is held on September 14, 2007.

Detailed Programme

A preliminary detailed programme is available.

Registration

The registration desk is located in the foyer of the Fraunhofer Centre. On Monday, the desk will be staffed from 08:30 to 09:00, on all other days from 08:45 to 09:00.