[Tccc] FMWS 2009: Formal Methods for Wireless Systems (2nd CFP)

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
_______________________________________________
Tccc mailing list
Tccc@lists.cs.columbia.edu
https://lists.cs.columbia.edu/cucslists/listinfo/tccc