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

[Sebastian Nanz]

Second 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)

In order to submit, login at: 
http://www.easychair.org/conferences/?conf=fmws2009

Simultaneous submission to other conferences or journals is only allowed 
for short papers. 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: July 17, 2009
Submission of final version for EPTCS: TBA

Invited Speaker
---------------

- Stephen Gilmore, University of Edinburgh, UK


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, ETH Zurich, Switzerland
- 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, ETH Zurich, Switzerland