[TYPES/announce] FMWS 2009: Formal Methods for Wireless Systems (CFP)

[Jens Chr. Godskesen]

First Call For Papers
-------------------

FMWS 2009
Second International Workshop on Formal Methods for Wireless Systems
31 August, 2009, Bologna, Italy
Satellite workshop of CONCUR 2009
http://www.itu.dk/events/FMWS09


Scope
-----

The FMWS workshop aims at bringing together researchers interested in
formal methods for wireless systems. More specifically, it puts focus on
theories for semantics, logics, and verification techniques for wireless
systems.

Wireless systems are rapidly increasing their success in real-world
applications while formal methods for modelling, analysing, and verifying
the systems are lacking behind. Recently however much attention has
been carried out to model, analyse and verify Sensor Networks and,
more generally, Ad Hoc Networks.

Submissions are solicited in all areas of semantics, logics, and 
verification
techniques for concurrent wireless systems. The principal topics include
(but are not limited to):

- Algebraic models
- Behavioural semantics
- Probabilistic models
- Broadcast communication
- Mobility
- Model checking
- Abstract interpretation
- Security
- Coordination languages
- Security issues
- Protocols


Call for papers
---------------

- Short papers (not included in the proceedings): up to 4 pages, typeset 11
points
- Full papers: up to 12 pages, typeset 11 points (excluding bibliography 
and
technical appendices)

Simultaneous submission to other conferences or journals is only allowed
for short papers. Submissions may already use the EPTCS-style format.
A preliminary version of the proceedings will be available at the workshop.
After the workshop, authors of full papers will be asked to prepare a final
version of their paper in the EPTCS-style format to be published in the
EPTCS (Electronic Proceedings in Theoretical Computer Science).

A special issue in a journal is under consideration.


Important dates
---------------

Workshop: August 31, 2009

Abstract submission: June 5, 2009
Paper submission: June 12, 2009
Notification date: July 3, 2009
Submission of preliminary version for the Proceedings: August 7, 2009
Submission of final version for EPTCS: TBA


Program Committee
-----------------

- Willem Jan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
- Jens Chr. Godskesen, IT University of Copenhagen, Denmark
- Holger Hermanns, Saarland University, Germany
- Radha Jagadeesan, DePaul University, Chicago, USA
- Kim G. Larsen, Aalborg University, Denmark
- Massimo Merro, University of Verona, Italy
- Sebastian Nanz, Technical University of Denmark
- Catuscia Palamidessi, INRIA Futurs and LIX, France
- Davide Sangiorgi, University of Bologna, Italy
- Scott A. Smolka, Stony Brook, USA
- Sofiene Tahar, Concordia University, Montréal, Canada
- Luca Vigano, University of Verona, Italy


Organizers
----------

- Jens Chr. Godskesen, IT University of Copenhagen, Denmark
- Sebastian Nanz, Technical University of Denmark