Call for Papers and Other Useful Academic Information

–===============2053973655==
Content-Type: multipart/alternative; boundary=Apple-Mail-21-471816406

–Apple-Mail-21-471816406
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
charset=ISO-8859-1;
delsp=yes;
format=flowed

________________________________________________________

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=E9 de Lille, France - (co-Chair)
Scott Smolka - SUNY at Stony Brook, USA
Ketil St=F8len - SINTEF/University of Oslo, Norway
Peter Widmayer - ETH Z=FCrich, 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 =20
system using the following link:
http://www.easychair.org/conferences/?conf=3Dmosar2008

All accepted papers presented at the Colloquium will appear in the
Colloquium proceedings.

Deadline for Submission: May 23
Notification : June 23

For more information: http://www.lifl.fr/MOSAR2008/

–Apple-Mail-21-471816406
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
charset=ISO-8859-1