Monday, October 1
|
| 11:30 - 13:30 |
Registration |
| 13:30 - 15:10 |
|
| |
13:30 |
The Theory of Weak
Stabilization
M. G. Gouda, University of
Texas at Austin |
| |
13:55 |
Dijkstra's
Self-stabilizing Algorithm in Unsupportive Environments
S. Dolev, Ben-Gurion
University of the Negev, Israel
T. Herman, University of Iowa |
| |
14:20 |
A New Efficient Tool for
the Design of Self-stabilizing l-exclusion Algorithms: the Controller
R. Hadid and V. Villain,
University of Picardie, France |
| |
14:45 |
Stabilizing Causal
Deterministic Merge
S. S. Kulkarni and Ravikant,
Michigan State University |
| 15:10 - 15:40 |
Coffee Break |
| 15:40 - 17:15 |
|
| |
15:40 |
On the Security and
Vulnerability of PING
M. G. Gouda and C.-T. Huang,
University of Texas at Austin
A. Arora, Ohio State
University |
| |
16:05 |
Secure and Self
Stabilizing Systems (Short Presentation)
J. H. Hoepman, University of
Twente, Netherlands |
| |
16:15 |
Communication Adaptive
Self-stabilizing Group Membership Service
S. Dolev and E. Schiller,
Ben-Gurion University of the Negev, Israel |
| |
16:40 |
Cross-over Composition
J. Beauquier, M. Gradinariu,
and C. Johnen, University of Paris Sud, France |
| |
17:05 |
The optimal 1-fair
alternators (Short Presentation)
S.T. Huang and P.W. Chen,
National Central University, Taiwan |
| 17:15 - 18:00 |
Business Meeting |
| 19:00 - |
Workshop Dinner |
| |
Tuesday, October 2
|
| 08:00 - 09:00 |
Registration |
| 09:00 - 10:15 |
Invited Talk |
| |
|
Cooperating Mobile Agents
and Stabilization
S. Ghosh, University of Iowa |
| 10:15 - 10:40 |
Coffee Break |
| 10:40 - 12:30 |
|
| |
10:40 |
Self-stabilizing Agent
Traversal
T. Herman, University of Iowa
T. Masuzawa, Osaka
University, Japan |
| |
11:05 |
Easy Self-stabilization
with an Agent
J. Beauquier and T. Herault,
University of Paris Sud, France
E. Schiller, Ben-Gurion
University of the Negev, Israel |
| |
11:30 |
Locality Revisited (Short
Presentation)
Mikhail Nesterenko, Kent
State University
Anish Arora, Ohio State
University |
| |
11:40 |
Stabilization of Routing
in Directed Networks
J. A. Cobb, University of
Texas at Dallas
M. G. Gouda, University of
Texas at Austin |
| |
12:05 |
(Im)Possibilities of
Predicate Detection in Crash-Affected Systems
F. C. Gartner, Darmstadt
University of Technology, Germany
S. Pleisch, IBM Zurich
Research Laboratory, Germany |
| 12:30 - 14:30 |
Workshop Lunch |
| 14:30 - 16:05 |
|
| |
14:30 |
Composite Available and
Stabilizing Data Structures
T. Herman and I. Pirwani,
University of Iowa |
| |
14:55 |
Fast Self-stabilizing
Depth-first Token Circulation
F. Petit, University of
Picardie, France |
| |
15:20 |
On a Space-optimal
Distributed Traversal Algorithm
S. Tixeuil, University of
Paris Sud, France |
| |
15:45 |
Stabilizing
Starvation-Free Alternator (Short Presentation)
M. H. Karaata, Kuwait
University, Kuwait |
| |
15:55 |
Short Presentation
To be announced |
| 16:05 - 16:30 |
Coffee Break |
| 16:30 - 18:00 |
Open Problems, Challenges, and
New Applications |
| 19:00
- |
WSS/DISC Joint Reception |
| |
|
|
