====== Extended Deadline: MOSAR 2008 =======
[Please accept our apologies if you get multiple copies of this message]
========== Submission Deadline is extended to May 31, 2008 =========
________________________________________________________
First International Colloquium on
FOUNDATIONS OF MOBILE SYSTEMS SECURITY AND RELIABILITY
(MOSAR)
September 2008, Nice, France
________________________________________________________
The goal of this research meeting is to provide an international forum
for researchers involved on the foundations of security and reliability
in wireless mobile systems to meet, discuss problems and techniques,
present solutions, and offer open problems arising with security and
fault tolerance aspects of their research in mobile systems.
Here, the term "mobile systems" is used in an inclusive way, covering
ad-hoc networks, sensor networks, as well as autonomous mobile robots.
The focus of the meeting is on theoretical research on security and
reliability in mobile systems, using formal techniques, algorithmic
methods, computational tools. Rather than a workshop or a conference
(too minor the first, too formal the second), we are organizing a
Colloquium, a place to meet and talk and share, merging the benefits
of those two forums without (hopefully) their drawbacks.
The First International Colloquium on Foundations of Mobile Systems
Security and Reliability will take place in Nice, France, in September
2008, co-located with the conference Adhoc-Now 2008.
Papers are solicited describing original research results in all
theoretical aspects of security and reliability in mobile systems
including (but not limited to):
* Formal model for mobile and wireless networks
* Formal verification of wireless communication protocols
* Distributed algorithm design for wireless systems
* Computability and complexity in wireless systems
* Fault-tolerance of wireless systems
* Game theory applied to wireless systems
where the wireless systems considered include (but are not limited to):
* Ad hoc networks
* Distributed sensor systems
* Autonomous mobile robots
* Vehicular networks
In addition, papers are solicited presenting in-depth surveys or
tutorials
on any topic covered by the colloquium. Similarly welcome are position
papers expressing motivated (even if unorthodox or controversial)
opinions
on the current status and future directions of the research field.
PROGRAM COMMITTEE
Xavier Defago - JAIST, Japan
Shlomi Dolev - Ben-Gurion University of the Negev, Israel
Seth Gilbert - EPFL, Lausanne, Switzerland
Thomas Jensen - IRISA, Rennes, France
Claude Kirchner - INRIA Bordeaux, France
Sotiris Nikoletseas - CTI/Patras University, Greece
David Peleg - Weizmann Institute of Science, Israel
Nicola Santoro - Carleton University, Canada - (co-Chair)
Isabelle Simplot-Ryl - Université de Lille, France - (co-Chair)
Scott Smolka - SUNY at Stony Brook, USA
Ketil Stølen - SINTEF/University of Oslo, Norway
Peter Widmayer - ETH Zürich, Switzerland
Submissions must be of at most 12 pages (including references), using
11 point or larger font and with reasonable line spacing and margins.
Additionally a clearly marked appendix may be included; this appendix
will not be regarded as part of the submission and will be considered
only at the discretion of the program committee. Simultaneous submission
to other conferences with published proceedings is not allowed.
Papers should be submitted using EasyChair conference management system
using the following link:
http://www.easychair.org/conferences/?conf=mosar2008
All accepted papers presented at the Colloquium will appear in the
Colloquium proceedings.
Deadline for Submission: May 31
Notification : June 23
For more information: http://www.lifl.fr/MOSAR2008/
----
[[ 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] ]]
