[isabelle] Extended Deadline of VerAS Workshop: 14 July 2007



                         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: 14 July 2007 (extended!)
     * 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, Michigan State University, 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








This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.