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.
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
