The Coq mailing list

[Klaus Schneider <Klaus.Schneider AT informatik.uni-kl.de>]

                          Call for Papers

      DASMOD Workshop on Formal Verification of Adaptive Systems
           Kaiserslautern, Germany, September 14th, 2007
         http://rsg.informatik.uni-kl.de/TPHOLs-2007/VerAS
                     http://www.dasmod.de 


 Important Dates:

      * Submission deadline: 29 June 2007
      * Author Notification: 20 July 2007
      * Camera-ready copy:    3 August, 2007
      * Workshop:            14 September, 2007


 Workshop Topics:

    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 modeling of adaptation
    * programming language concepts for adaptive systems
    * specification and verification methods of adaptive systems
    * dynamic verification techniques for adaptation
    * new applications of software/hardware adaptation
    * dynamic adaptation of hardware and/or hardware/software partitioning
    * self-healing and self-optimizing systems


 Format of the Workshop:

    The workshop is co-located with the 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, it is planned
    to publish the accepted papers as a volume of ENTCS after the
    workshop (decision pending). 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 AT 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.


Program Committee:

    * Betty Cheng, University of Illinois at Urbana-Champaign, USA
    * Mike Gordon, University of Cambridge, UK
    * Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany
    * Wolfgang Reif, University of Augsburg, Germany
    * Klaus Schneider, University of Kaiserslautern, Germany
    * Robert de Simone, INRIA Sophia-Antipolis, France

Workshop Organizers:

    * Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany
    * Klaus Schneider, University of Kaiserslautern, Germany