Program

Tuesday 3 October

17:00 Bus leaves for Madrid airport (Barajas)

from North entrance ("Goya") of Prado museum

18:00 Bus leaves for Toledo

from "meeting point" at the ground floor of terminal 1 in the Madrid airport (Barajas).

19:00-21:00:

Registration at Hotel María Cristina

20:00-21:30:

Welcome reception at Hotel María Cristina

Wednesday 4 October

08:00-09:00:

Registration at Hotel María Cristina

08:45-09:00: Welcome

09:00-10:00: Invited lecture

Virtual Topologies for Telecommunications Networks
Jean-Claude Bermond

10:00-10:20: Break

10:20-11:20: Session 1

Session Chair: Panagiota Fatourou (Max-Planck)

• Adaptive Mutual Exclusion with Local Spinning.
  J.H. Anderson and Y-J. Kim

• Bounds for Mutual Exclusion with only Processor Consistency.
  L. Higham and J. Kawash

• Even Better DCAS-Based Concurrent Deques.
  D.L. Detlefs, C.H. Flood, A.T Garthwaite, P.A. Martin, N. Shavit, and G.L. Steele Jr.

11:20-11:40: Break

11:40-13:00: Session 2

Session Chair: Peter Ruzicka (Comenius U.)

• Distributed algorithms for English auctions (Extended abstract).
  Yedidia Atzmony and David Peleg

• A Probabilistically Correct Election Protocol for Large Groups
  I. Gupta and R. van Renesse and K.P. Birman

• Approximation algorithms for survivable optical networks.
  T. Eilam and S. Moran and S. Zaks

• Distributed Cooperation During the Absence of Communication.
  G.G. Malewicz and A. Russell and A.A. Shvartsman

13:00-15:00: Lunch

15:00-16:00: Session 3

Session Chair: Roger Watenhoffer (Microsoft Research)

• Polynomial and Adaptive Long-lived (2k-1)-Renaming. (BEST STUDENT PAPER AWARD).
  H. Attiya and A. Fouren

• On the importance of having an identity or, is consensus really Universal.
  H. Buhrman, A. Panconesi, R. Silvestri, and P. Vitanyi

• Computing with infinitely many processes
  M. Merritt and G. Taubenfeld

Thursday 5 October

09:00-10:00: Invited lecture

Failure Detectors: a Perspective
Sam Toueg

10:00-10:20: Break

10:20-11:20: Session 4

Session Chair: Lisa Higham (U. of Calgary)

• Establishing Business Rules for Inter-Enterprise Electronic Commerce
  V. Ungureanu and N.H. Minsky

• Metering schemes with pricing
  C. Blundo, A. De Bonis, and B. Masucci

• Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms
  O. Theel

11:20-11:40: Break

11:40-13:00: Session 5

Session Chair: Jennifer Welch (Texas A&M)

• Self-stabilizing Local Mutual Exclusion and Daemon Refinement
  J. Beauquier, A. Datta, M. Gradinariu, and F. Magniette

• More Lower Bounds for Weak Sense of Direction: The Case of Regular Graphs
  P. Boldi and S. Vigna

• Gossip versus Deterministically Constrained Flooding on Small Networks
  M-J. Lin, K. Marzullo, and S. Masini

• Thrifty Generic Broadcast
  M.K. Aguilera, C. Delporte-Gallet, H. Fauconnier, and S. Toueg

13:00-15:00: Lunch

15:00-19:30: Guided tour

The Three Cultures in Toledo: Jews, Muslims, and Christians: San Juan de los Reyes church, Synagogue, Cathedral, and Mosque.

20:30 Bus leaves from hotels for Banquet dinner

21:00: Banquet dinner

Hosted by Universidad Castilla la Mancha at Parador de Toledo where this view is from.

Friday 6 October

09:00-10:10 Short Presentations

Session Chair: Enrico Nardelli L'Acquila

• Eventually Consistent Failure Detectors
  M. Larrea and A. Fernandez and S. Arevalo

• An O(log n) Resource Discovery Algorithm
  C. Law and K-Y. Siu

• Latency Lower Bounds for Randomized Dynamic Bandwidth Allocation
  J. Garofalakis, S. Nikoletseas, and P. Spirakis

• Efficient Communication Establishment in Adverse Communication
  S. Nikoletseas and P. Spirakis

• Semantically Reliable Multicast
  J. Pereira, L. Rodriguez and R. Oliveira

• A Lightweight Asynchronous Algorithm for Causal Delivery Using Extra Message Insertion
  C. Sanchez and A. Alvarez

• Graceful Quorum Reconfiguration
  B. Englert and A.A. Shvartzman

10:10-10:30 Break

10:30-11:30 Session 6

Session Chair: Assaf Schuster (Technion)

• Locating Information with Uncertainty in Fully Interconnected Networks
  L.M. Kirousis, E. Kranakis, D. Krizanc, and Y.C. Stamatiou

• Optimistic Replication for Internet Data Service
  Y. Saito and H.M. Levy

• Scalable Replication in Database Clusters
  M. Patino-Martinez, R Jimenez-Perez, B. Kemme, and G. Alonso

11:30-11:50 Break

11:50-13:10 Session 7

Session Chair: Idit Keidar (MIT LCS)

• Disk Paxos
  E. Gafni and L. Lamport

• Objects Shared by Byzantine Processes
  D. Malkhi, M. Merritt, M. Reiter, and G. Taubenfeld

• Short Headers Suffice for Communication in a DAG with Link Failures
  F.E. Fich and A. Jakoby

• Consistency Conditions for a CORBA Caching Service
  G.V. Chockler, R. Friedman, and R. Vitenberg

13:10-15:30: Farewell lunch