31 August 2009
Bologna, Italy
Satellite workshop of CONCUR 2009
1-4 September 2009, Bologna, Italy
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):
The FMWS 2009 workshop has been cancelled.
| June 5, 2009 |
Abstract submission deadline (closed) |
| June 12, 2009 | Paper submission deadline (closed) |
| July 3, 2009 |
Author notification |
| July 17, 2009 | Preliminary version for workshop proceedings |
| August 31, 2009 | Workshop |
We solicit contributions to this workshop in the form of work-in-progress short papers (up to 4 pages, not included in the proceedings) or full papers (up to 12 pages, excluding bibliography and technical appendices) in any of the above fields or on related topics.
The contribution has to be submitted as PDF. Accepted full papers will be published in the Electronic Proceedings in Theoretical Computer Science and we therefore encourage the use of the EPTCS-style format for initial submissions.
The submission is done electronically via the URL
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. All authors of accepted papers will be asked to present their work during 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 Electronic Proceedings in Theoretical Computer Science. A special issue in a journal is under consideration.