[TYPES/announce] Call for participation, FMWS 08

[Jens Chr. Godskesen]

                      Call For Participation
     Workshop on Formal Methods for Wireless Systems (FMWS 08)
                 Toronto, Canada, August 23, 2008
                  http://www.itu.dk/events/FMWS08/


FMWS 08, the Workshop on Formal Methods for Wireless Systems, will take 
place at the University of Toronto on Saturday August 23, 2008.  The 
workshop is affiliated with the 19th International Conference on 
Concurrency Theory (CONCUR 08).

The purpose of this workshop is to bring together researchers and 
students interested in formal methodsfor wireless systems. More 
specifically, in 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.