DASMOD Workshop on Formal Verification of Adaptive Systems

Call for Papers

The adaptive behavior of software and hardware systems becomes more and more important in different areas of computer science as e.g.

• new applications with situation-based selection of algorithms,
• new technologies like dynamically reconfigurable hardware, and
• new requirements with respect to fault-tolerance.

Traditionally, adaptive behavior has been realized as part of the functionality. However, the increased complexity now asks for a more explicit treatment of adaptation. A central goal is to check that the adaptation does not violate global system properties or leads to inconsistent system configurations.

This workshop is the first that aims at considering adaptation as a cross-cutting system aspect that needs to be explicitly addressed in system design and verification. The program committee welcomes submissions on formal modeling, specification, verification, and implementation of adaptive systems. This includes, but is not limited to, the following topics:

• formal modelling of adaptation
• programming language concepts for adaptive systems
• specification and verification methods of adaptive systems
• dynamic checking techniques for adaptation
• new applications of software/hardware adaptation
• dynamic adaptation of hardware and/or hardware/software partitioning
• self-healing and self-optimizing systems

The workshop is co-located with the 20th International Conference on Theorem Proving in Higher Order Logics and will be held in Kaiserslautern, Germany, on September 14th, 2007.

Proceedings

Submissions will be fully refereed, and accepted papers will be published first as a technical report of the University of Kaiserslautern (available at the workshop). Second, accepted papers are published as a volume of ENTCS after the workshop (confirmed). Authors of accepted papers are expected to present their work at the conference.

Submission Guidelines

Submissions should describe new approaches, case studies or results in the areas described above. Papers must be submitted by email to schneider@informatik.uni-kl.de. Submissions should be no more than 16 pages in length and should be written using LaTeX2e and the ENTCS style file that is available at http://www.entcs.org.

Important Dates

	VerAS papers
Submission deadline	14 Jul 2007
Notification of acceptance	20 Jul 2007
Camera-ready copy due	03 Aug 2007

Programme Committee

• Betty Cheng, Michigan State University
• Mike Gordon, University of Cambridge
• Arnd Poetzsch-Heffter, University of Kaiserslautern
• Wolfgang Reif, University of Augsburg
• Klaus Schneider, University of Kaiserslautern
• Robert de Simone, INRIA Sophia-Antipolis