Apologies for multiple copies.... -------------------
FMWS 2008 First Workshop on Formal Methods for Wireless Systems 23 August, 2008, Toronto, Canada Satelite workshop of CONCUR 2008 http://www.itu.dk/events/FMWS08/ Scope ----- 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 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 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 2, 2008 Paper submission: June 6, 2008 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 Organizers ---------- - Jens Chr. Godskesen, IT University of Copenhagen, Denmark - Massimo Merro, University of Verona, Italy ---- [[ 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] ]]
