| 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.
TPHOLs 2007 is co-located with the DASMOD Workshop on Formal Verification of Adaptive Systems.
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).
 |
 |
 |
27 Sep 2007: Minutes online. The minutes of the business meeting are now available online.
20 Sep 2007: Photographs online. Photographs of the excursion are now available online.
06 Sep 2007: Emerging Trends Proceedings online. Emerging Trends Proceedings are now available online.
27 Aug 2007: Proceedings online. LNCS 4732 is now available online.
06 Aug 2007: Maintenance work. Due to maintenance on the power supply of our university the TPHOLs server will be down on the weekend before TPHOLs (08/09 Sep).
| Last modified: 27 Aug 2007. 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). | ||
