TPHOLs 2007 - 20th International Conference on Theorem Proving in Higher Order Logics - Kaiserslautern, Germany, 10-13 September 2007

Registration

To register for TPHOLs 2007 and/or the VerAS workshop, please fill out the form below. Authors of Category A papers should register until 30 June 2007.

Registration for TPHOLs 2007 and VerAS is closed.

Registration Fees

TPHOLs 2007 + VerAs workshop

TPHOLs 2007 only

VerAS only

If you need additional conference dinner/excursion tickets, please contact the organisers.

Payment

Registration fees can be only paid by credit card. Please complete the following credit card authorisation form [doc|odt|pdf] and fax it to +49(631)2054409. Registration is not assured until payment has been received.

Please pay the registration fees directly at the conference.

Requests for refunds must be received by 27 July 2007 in writing by fax to +49(631)2054409. Refunds are subject to a 25€ processing fee. Substitutions are permitted; notification prior to the event is greatly appreciated.

                   

  Last modified: 28 Aug 2013. Contact: tphols2007@informatik.uni-kl.de.    
TPHOLs 2007 is supported by DASMOD (Dependable Adaptive Systems and Mathematical Modeling), Fraunhofer IESE (Institute for Experimental Software Engineering) and DFKI (German Research Center for Artificial Intelligence).