[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call for papers - Infinity 2008 (Deadline May 31st)


*INFINITY 2008 *
/*10th International Workshop on Verification of Infinite-State Systems*/
Toronto, Canada, 23rd of August 2008
(A Satellite Workshop of CONCUR 2008.)




The aim of the INFINITY workshop is to provide a forum for researchers
interested in the development of formal methods and algorithmic
techniques for the analysis of systems with infinitely many states, and
their application in automated verification of complex software and
hardware systems.


Topics of interest include (but are not limited to):

* Infinite-state models of software/hardware systems
* Abstraction techniques for infinite-state systems
* Symbolic analysis techniques and data structures for representing
infinite state spaces
* Model-checking, static analysis, abstract interpretation,
preorder/equivalence-checking, and control synthesis for infinite-state
* Parameterized networks of parallel processes, dynamic networks, mobile
* Systems with unbounded dynamic data and control structures (recursion,
dynamic instantiation of processes, dynamic linked data structures,
unbounded communication channels, web services, infinite data domains)
* Probabilistic and timed systems
* Games in modeling and verification of infinite-state systems
* Verification techniques for security properties, cryptographic protocols

*Program Committee: *

* Christel Baier, TU Dresden, Germany
* Bernard Boigelot, University of Liège, Belgium
* Luca de Alfaro, University of California, Santa Cruz, California, USA
* Dino Distefano, Queen Mary, University of London, UK
* Javier Esparza, TU Munich, Germany
* Peter Habermehl (co-chair), LSV ENS Cachan, CNRS, INRIA, France
* Radu Iosif, VERIMAG, UJF/INPG/CNRS, Grenoble, France
* Anca Muscholl, LaBRI, Université Bordeaux 1/CNRS, France
* Jiri Srba, BRICS, University of Aalborg, Denmark
* Stavros Tripakis, Cadence Research Labs, Berkeley, California, USA
* Tomas Vojnar (co-chair), FIT, Brno University of Technology, Czech

*Important Dates: *

Submission deadline: May 31, 2008
Notification: June 27, 2008
Final version: July 6, 2008
Workshop: August 23, 2008

*Paper submission: *

Authors are invited to submit an original contribution presenting
unpublished work in the areas relevant for the scope of INFINITY. The
submissions will be evaluated by the program committee and accepted
papers will be published in the workshop proceedings. By submitting you
agree that, in case of acceptance, at least one (co-)author will
register and present the paper at the workshop.

Contributions should be typeset in the ENTCS format and should not
exceed 10 pages.

The papers should be submitted through EasyChair by following the
link: http://www.easychair.org/conferences/?conf=infinity2008.

*Proceedings: *

Pre-proceedings of INFINITY 2008 will be available at the workshop in a
printed form. Final versions of the papers will appear in a volume of
Electronic Notes in Theoretical Computer Science.