| home | | | cfp | | | submission | | | registration | | | programme | | | proceedings | | | kaiserslautern | | | history | | | organisation |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
| Last modified: 02 Oct 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). | ||
