[PVS] SSS 2008 Call for Participation

[<sandeep@xxxxxxxxxxx>]

                           Call for Papers
                             SSS 2008

                10th International Symposium on 
   Stabilization, Safety, and Security of Distributed Systems
 
                           Call for Participation 

                            Nov 21-23 2008

Doubletree Hotel Dearborn
5801 Southfield Freeway
Detroit, MI 48228


The tenth International Symposium on Stabilization, Safety, and
Security of Distributed Systems is Being held on Nov 21-23 in
Detroit MI, USA. This year's conference includes three keynote
talks by Anish Arora, Michael Reiter and Ulrich Schmid, an
excellent set of 17 papers selected by the program committee, a
tutorial on Virtual Infrastructure and a poster session. Please
visit the web site (http://sss08.cse.msu.edu) for more
information.

The registration information for the conference is also available
at http://sss08.cse.msu.edu The date for early registration is
October 20, 2008. If you will require a visa to enter the USA to
attend the conference, it is essential that you register for the
conference as soon as possible.

We look forward to meeting you in SSS 2008.

Regards,

Sandeep Kulkarni and Andre Schiper


Advance Program

November 21, 2008

9-10
Keynote Talk: Anish Arora


10-10:30
Break


10:30-11:30
MAC Layer Protocols

Mahesh Arumugam. A Distributed and Deterministic TDMA Algorithm for 
Write-All-With-Collision Model

Lyes DEKAR and Hamamache Kheddouci. Distance-2 Self-stabilizing 
Algorithm for a b-Coloring of Graphs


11:30-1:00
Lunch


1-2:30
Wireless Networks I

Jing Li and Anish Arora. Duty Cycle Stabilization in Semi-Mobile Wireless 
Networks  

Di Ma and Gene Tsudik. DISH: Distributed Self-Healing in Unattended 
Sensor Networks

Adnan Vora, Mikhail Nesterenko, Sebastien Tixeuil and Sylvie Delaët. 
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks


2:30-3:00
Break


3:00-4:30
Stabilizing Algorithms 1

Ezra N. Hoch, Danny Bickson and Danny Dolev. Self-stabilizing Numerical 
Iterative Computation

Fredrik Manne, Morten Mjelde, Laurence Pilard and Sebastien Tixeuil. A 
Self-Stabilizing 2/3-Approximation Algorithm for the Maximum Matching Problem

Ajoy Datta, Lawrence Larmore and Priyanka Vemula. Self-Stabilizing Leader 
Election in Optimal Space


4:45-6:30
Tutorial: Virtual Infrastructure (Shlomi Dolev)


November 22, 2008

9-10
Keynote Talk: Ulrich Schmid


10:10:30
Break


10:30-12:00
Poster Session


12-1:30
Lunch


1:30-3:00
Stabilizing Algorithms II

Thomas Clouser, Mikhail Nesterenko and Christian Scheideler. Tiara: A Self-
Stabilizing Deterministic Skip List

Doina Bein, Ajoy Datta, Chitwan Gupta and Lawrence Larmore. Local 
Synchronization on Oriented Rings

Jorge Cobb and Mohamed Gouda. Stabilization of Max-Min Fair Networks 
without Per-Flow State


3:00-3:30
Break


3:30-5:00
Wireless Networks II

Hirotsugu Kakugawa and Toshimitsu Masuzawa. Convergence Time Analysis 
of Self-Stabilizing Algorithms in Wireless Sensor Networks with Unreliable Links 

Seth Gilbert, Nancy Lynch, Sayan Mitra and Tina Nolte. Self-Stabilizing 
Mobile Robot Formations with Virtual Nodes

Murat Demirbas and Anish Arora. An Application of Specification-based 
Design of Self-Stabilization to Tracking in Wireless Sensor Networks


November 23, 2008

9-10
Keynote Talk: Michael Reiter


10-10:30
Break


10:30-12:00
Security and System Models

Alex Brodsky and Scott Lindenberg. Our Brothers' Keepers: Secure Routing 
with High Performance  

Taehwan Choi, Sooel Son, Mohamed Gouda and Jorge Cobb. Pharewell to 
Phishing

Peter Robinson and Ulrich Schmid. The Asynchronous Bounded-Cycle Model