[TYPES/announce] FMWS'08 - 2nd Call for papers

[Massimo Merro]

-------------------

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