[TYPES/announce] FMWS 2008, CFP

[Jens Chr. Godskesen]

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

FMWS 2008
First Workshop on Formal Methods for Wireless Systems
23 August, 2008, Toronto, Canada
Satelite workshop of CONCUR 2008
http://www.itu.dk/events/FMWS08/


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


Invited speaker
---------------

 - Ansgar Fehnker, University of New South Wales, Australia


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 ENTCS-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 ENTCS-style format to 
be published in the
ENTCS (Electronic Notes in Theoretical Computer Science). It is 
recommended that the final
version of the paper includes as much as possible proofs and technical 
material while keeping
the length within 25 pages.

A special issue in a journal is under consideration.


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

Workshop: August 23, 2008

Abstract submission: June 2, 2008
Paper submission: June 6, 2008
Notification date: July 11, 2008
Submission of preliminary version for the Proceedings: August 8, 2008
Submission of final version for ENTCS: TBA


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

- Jens Chr. Godskesen, IT University of Copenhagen, Denmark
- Andrew D. Gordon, Microsoft Research, Cambridge, UK
- 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
- Luca Vigano, University of Verona, Italy


Organizers
----------

- Jens Chr. Godskesen, IT University of Copenhagen, Denmark
- Massimo Merro, University of Verona, Italy