TPHOLs 2007 - 20th International Conference on Theorem Proving in Higher Order Logics - Kaiserslautern, Germany, 10-13 September 2007
  home | cfp | submission | registration | programme | proceedings | kaiserslautern | history | organisation    

The Department of Computer Science of the University of Kaiserslautern is pleased to host the 20th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2007) in Kaiserslautern, Germany. The conference will be held at Fraunhofer Centre Kaiserslautern, home of Fraunhofer IESE and ITWM.

Fraunhofer Center Kaiserslautern


TPHOLs 2007 is co-located with the DASMOD Workshop on Formal Verification of Adaptive Systems.

Sponsors

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).

  IESE DASMOD DFKI  
Unable to open template http://rsg.informatik.uni-kl.de/TPHOLs-2007/news/news-template.html, exiting
  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).