[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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


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

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 
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
- Full papers: up to 12 pages, typeset 11 points (excluding bibliography 
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


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

Reply via email to