Organisation

Conference Organisers

The conference is being organised by the Department of Computer Science of the University of Kaiserslautern. The local organising committee is as follows:

• Klaus Schneider
• Jens Brandt

Enquiries concerning the conference should be emailed to tphols2007@informatik.uni-kl.de.

TPHOLs 2008 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 2008 host selection page for details.

TPHOLs 2007 Business Meeting

The TPHOLs 2007 Business Meeting will took place on 11 September 2007 at 17:30. The minutes are available.