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

Apologies for multiple copies....


FMWS 2008
First Workshop on Formal Methods for Wireless Systems
23 August, 2008, Toronto, Canada
Satelite workshop of CONCUR 2008


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 
version of the proceedings will be available at the workshop. After the 
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 12, 2008 (DEADLINE EXTENSION!)
Paper submission: June 15, 2008 (DEADLINE EXTENSION!)
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


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

Reply via email to