arvind@utcsri.UUCP (05/29/87)
Date: Fri, 22 May 87 02:49:44 +0200
From: Jan van Leeuwen <mcvax!ruuinfvax!jan@seismo.css.gov>
Subject: Second International Workshop on distributed algorithms
2nd International Workshop
on
DISTRIBUTED ALGORITHMS
Amsterdam(NL), July 8-10, 1987
The 2nd International Workshop on Distributed Algorithms will be held at
the Centre for Mathematics and Computer Science in Amsterdam, July 8-10, 1987.
The Workshop is intended to provide a forum for researchers and other parties
interested in the design and analysis of DISTRIBUTED ALGORITHMS on
communication networks and graphs.
TECHNICAL PROGRAM
WEDNESDAY, July 8, 1987
Session 1. (Chairman: Eli Gafni)
9.00 A Distributed Spanning Tree Algorithm
K.E. Johansen, U.L. Jorgensen, S.H. Nielsen, S.E. Nielsen and
S. Skyum (Aarhus University).
9.30 Directed Network Protocols
G. Tel (University of Utrecht).
10.00 Query Algorithms in Computer Networks
A. Segall (Technion), I.S. Gopal and A.E. Baratz (IBM T.J.Watson
Research Center).
10.30 Break
11.00 General and Efficient Decentralized Consensus Protocols
J-C. Bermond, J-C. Konig (Universite de Paris-Sud) and M.Raynal
(Universite de Rennes).
11.30 A Framework for Agreement
K.J. Perry (IBM T.J.Watson Research Center).
12.00 Byzantine Firing Squad using a Faulty External Source
E.T. Ordman (Memphis State University).
12.30 Lunch
Session 2. (Chairman: Michel Raynal)
14.00 An Improved Multiple Identification Algorithm for Synchronous
Broadcasting
W. Vogler (Technical University of Muenich).
14.30 Distributed Algorithms for Tree Pattern Matching
G. Singh, S.A. Smolka and I.V. Ramakrishnan (SUNY Stony Brook).
15.00 Break
15.30 On the Packet Complexity of Distributed Selection
A. Negro (University of Salerno), N. Santoro (Carleton University)
and J. Urrutia (University of Ottawa).
16.00 Load Balancing in a Network of Transputers
O.Vornberger (University of Paderborn).
16.30 Discussion
THURSDAY, July 9,1987
Session 3. (Chairman: Nicola Santoro)
9.00 Experience with a New Distributed Termination Detection Algorithm
F. Mattern (University of Kaiserslautern).
9.30 A Distributed Deadlock Avoidance Technique
F. Belik (Lund University).
10.00 How to Detect a Failure and Regenerate the Token in the Log(N)
Distributed Algorithm for Mutual Exclusion
M. Naimi and M. Trehel (Lab d'Informatique Besancon).
10.30 Break
11.00 Verification of Connection Management Protocols
A.A Schoone (University of Utrecht).
11.30 Generalized Scheme for Topology Update in Dynamic Networks
E. Gafni (UCLA).
12.00 Discussion
12.30 Lunch
Session 4. (Chairman: Jan van Leeuwen)
14.00 Synchronizing Asynchronous Bounded Delay Networks
C-T. Chou (UCLA), I. Cidon, I.S. Gopal (IBM T.J.Watson Research Center)
and S. Zaks (Technion).
14.30 A Modular Proof of Correctness for a Network Synchronizer
A. Fekete (Harvard University), N. Lynch and L. Shrira (MIT).
15.00 Break
15.30 On the Use of Synchronizers for Asynchronous Communication Networks
K.B Lakshmanan and K. Thulasiraman (Concordia University).
16.00 Atomic Multireader Register
L.M Kirousis (University of Patras & CWI Amsterdam), E. Kranakis and
P.M.B. Vitanyi (CWI Amsterdam).
16.30 An Optimistic Resilience Control Scheme for Distributed Database Systems
K. Vidyasankar (Memorial University of Newfoundland) and T. Minoura
(Oregon State University).
17.00 A Failsafe Scheme for Replicated Information
R. Kerboul (CNET Lannion), R. Kung (CNET Paris) and F. Richard (CNET
Lannion).
FRIDAY, July 10, 1987
Session 5. (Chairman: Shmuel Zaks)
9.00 Randomized Function Evaluation on a Ring
K. Abrahamson, A. Adler, L.Higham and D. Kirkpatrick (University of
British Columbia).
9.30 A Distributed Ring Orientation Algorithm
V. Syrotiuk and J. Pachl (University of Waterloo).
10.00 Constructing Efficient Election Algorithms from Efficient Traversal
Algorithms
H. Attiya (Hebrew University).
10.30 Break
11.00 Optimal Resilient Ring Election Algorithms
M.Y. Chan and F.Y.L. Chin (University of Hong Kong).
11.30 Fault-Tolerant Distributed Algorithmfor Election in Complete Networks
H.H. Abu-Amara (University of Illinois at U-C).
12.00 Lowerbounds for Synchronous Systems and the Advantage of Local
Information
R. Reischuk and M. Koshors (Technical University of Darmstadt).
12.30 Lunch
Session 6. (Chairman: Jan van Leeuwen)
14.00 On the Existence of Generic Broadcast Algorithms in Networks of
Communicating Sequential Processes
L. Bouge (University of Orleans).
14.30 Stepwise Removal of Virtual Channels in Distributed Algorithms: a
Case Study
K. Sere (Aabo Academy)
15.00 Break
15.30 Discussion
16.30 End of Workshop
ORGANIZATIONAL COMMITTEE: Eli Gafni(UCLA, Los Angeles), Michel Raynal(IRISA,
Universite de Rennes), Nicola Santoro(Carleton University, Ottawa),
Jan van Leeuwen(chairman, University of Utrecht), Shmuel Zaks(the Technion,
Haifa).
PROCEEDINGS. A copy of the complete collection of accepted papers will be
available to every participant of the Workshop, to serve as working
proceedings. The official proceedings of the Workshop will be published in
September 1987.
LOCATION. The Workshop will be held at the "Centrum voor Wiskunde en
Informatica(CWI)", a national research facility (formerly known as the
"Mathematical Centre") located in Amsterdam, the Netherlands. The CWI
features a large library, lecture rooms, a large variety of computing
equipment, adjacent parks and waters, easy parking, etc. All technical
sessions and lunches will take place at the CWI. The address of the CWI
is: Kruislaan 413, 1098 SJ Amsterdam, tel. +31-20-5929333. Transportation
between the hotel (see below) and the CWI will be provided in the morning
(8.30) and the afternoon (after the last session).
HOTEL. For participants of the Workshop a block of rooms has been reserved
for the period July 7-10 in the
hotel "CASA 400"
James Wattstraat 75
1097 DL Amsterdam
telephone +31-20-651171
a convenient tourist-class hotel not too far away from the CWI. The hotel
is within a 5 minute walking distance from the "Amstel Station", one of
the main railway/metro/tram/bus stations in Amsterdam from which any
destination in the city is easily reached. Room rates are Dfl 100,- for
a single and Dfl 156,- for a double room (approx US$ 50.- and US$ 78.-
respectively) per night and include Dutch breakfast, service charges and
taxes. All rooms are with shower, toilet and telephone.
In order to reserve a room, please fill out the attached form and
return it before June 20, 1987 to the Organizational Chairman
Prof Jan van Leeuwen
Dept of Computer Science
University of Utrecht
P.O.Box 80.012
3508 TA Utrecht
the Netherlands
(email: mcvax!ruuinfvax!jan)
Reservations will be handled on a first-come first-serve basis.
A deposit of Dfl 200,- (or credit card number) is required by the hotel in
case of late arrival (arrivals after 18.00h). The Organizational Chairman only
acts as an intermediary and takes no responsibility for your further contacts
with the hotel. The hotel can be reached at +31-20-651171. (Late bookings must
be arranged directly with the hotel. Mention that you are with the Workshop
so they use one of the "reserved" rooms.)
ADVANCE REGISTRATION. In order to register for the Workshop, fill out the
attached form and return it before June 20, 1987 to the organizational chairman
Prof Jan van Leeuwen
Dept of Computer Science
University of Utrecht
P.O.Box 80.012
3508 TA Utrecht
the Netherlands
(email: mcvax!ruuinfvax!jan)
The registration fee for the Workshop is Dfl 125,- (or US$ 65.-). The
registration fee includes the reception on Tuesday evening, lunches etc.
during the three days of the Workshop, a copy of the draft and final
proceedings, and transportation between the hotel and the CWI. The
registration fee has to be paid in advance by sending a check for the
required amount to the organizational chairman (make checks payable to
"Workshop Distr Algorithms") or by transfering it to account 49.57.58.132
(AMRO bank, the Netherlands) of "Workshop Distr Algorithms". Refunds will
be honored until June 30, 1987. The number of participants of the Workshop
will be limited to approximately 75.
REGISTRATION AND RECEPTION. A registration desk will be open at the CASA 400
hotel on Tuesday, July 7, 1987 from 19.00 until 21.00 and on every subsequent
day of the Workshop from 8.30 until noon. Tuesday, July 7, 1987 there will be
a welcoming reception at the CASA 400 hotel from 20.00 until 23.00.
FURTHER INFORMATION. Amsterdam Airport is well-served by all major airlines.
To reach the city, take any train or bus to the centre of Amsterdam. When
arriving by (international) train you may consider getting off at or going
to the "Amstel station". The CASA 400 hotel is within 5 minutes from this
station. Summers in Holland are usually mild, with average temperatures of
18-28 degrees Celcius. Occasional rain showers are always a possibility.
Amsterdam, "cultural capital" of Europe for 1987/88, offers many touristic
attractions and interesting things to do. The Workshop is held just prior
to ICALP'87. (ICALP'87 takes place in Karlsruhe, West Germany, July 13-17,
1987. Karlsruhe is easily reached from Amsterdam in several ways, e.g. by
direct train.) For further information, contact Mrs Geraldine Leebeek (Dept
of Computer Science, University of Utrecht, P.O.Box 80.012, 3508 TA Utrecht,
the Netherlands, tel +31-30-531454, email: mcvax!ruuinfvax!gerald).
----------------------------------------------
ADVANCE REGISTRATION FORM
2nd International Workshop on Distributed Algorithms
Amsterdam, July 8-10,1987
NAME:
AFFILIATION:
ADDRESS:
CITY,STATE and POSTAL CODE:
COUNTRY:
TELEPHONE NUMBER:
ELECTRONIC MAIL ADDRESS(if applicable):
WILL YOU MAKE USE OF THE BUS BETWEEN THE CASA 400 HOTEL AND THE CWI (circle
as appropriate):
YES NO
The registration fee of the Workshop is Dfl 125,- (or US$ 65.-). Make
checks payable to "Workshop Distrib Algorithms" or transfer the required
amount to account 49.57.58.132 (AMRO Bank, the Netherlands) of "Workshop
Distrib Algorithms". Send the completed form together with your check or
copy of bank payment before JUNE 20, 1987 to the Organizational Chairman
Prof Jan van Leeuwen
Dept of Computer Science
University of Utrecht
P.O.Box 80.012
3508 TA Utrecht
the Netherlands
------------------------------------------------------
HOTEL RESERVATION FORM
2nd International Workshop on Distributed Algorithms
Amsterdam,July 8-10,1987
NAME:
AFFILIATION:
ADDRESS:
CITY, STATE and POSTAL CODE:
COUNTRY:
TELEPHONE NUMBER:
Type of accomodation required (circle as appropriate):
single Dfl 100,-/day double Dfl 156,-/day
arrival date:
departure date:
number of persons:
for arrivals after 18.00h the hotel requires that you guarantee your
room by providing a major credit card number or a check for Dfl 200,-
as a deposit:
deposit enclosed:
or
credit card (circle one): AMEXCO VISA
card number:
expiry date:
signature:
Send the completed form before JUNE 20, 1987 to the Organizational Chairman
Prof Jan van Leeuwen
Dept. of Computer Science
University of Utrecht
P.O.Box 80.012
3508 TA Utrecht
the Netherlands
(BOOKINGS AFTER JUNE 20, 1987 SHOULD BE SENT TO THE CASA 400 HOTEL DIRECTLY
AT: James Wattstraat 75, 1097 DL Amsterdam, the Netherlands, tel +31-20-651171.
ALL FURTHER QUERIES RELATED TO YOUR STAY AT THE HOTEL SHOULD ALSO BE ADDRESSED
DIRECTLY TO THE HOTEL. MENTION THAT YOU ARE WITH THE WORKSHOP ON DISTRIBUTED
ALGORITHMS.)
---------------------------------------------
See you in Amsterdam!