The Department of Computer Science of the University of Kaiserslautern is pleased to host the DASMOD Workshop on Formal Verification of Adaptive Systems (VerAS 2007) in Kaiserslautern, Germany. The workshop is co-located with the 20th International Conference on Theorem Proving in Higher Order Logics.

Sponsors

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