piotr@alberta (Piotr Rudnicki) (06/07/89)
ADVANCE PROGRAM OF
8th ACM SIGACT-SIGOPS
Symposium on Principles of Distributed Computing
(PODC'89)
August 14-16, 1989
Edmonton, Alberta, Canada
--------------------------------------------------------------------------------
Sponsored by: The ACM SIG for Automata and Computability Theory and
The ACM SIG for Operating Systems
With support from: The Office of Naval Research, Bell Northern Research,
NSERC, and The University of Alberta
Conference Chair Piotr Rudnicki, The University of Alberta
Program Chair Michael Merritt, AT&T Bell Laboratories
Publicity Chair M. Tamer Ozsu, The University of Alberta
Program Committee Yehuda Afek, AT&T and Tel Aviv University
Baruch Awerbuch, MIT
Edmund Clarke, Carnegie Mellon
Cynthia Dwork, IBM
Michael Fischer, Yale University
Mohamed Gouda, University of Texas at Austin
Maurice Herlihy, Carnegie Mellon
Michael Merritt, AT&T
David Peleg, Weizmann Institute
Charles Rackoff, University of Toronto
Peter Weinberger, AT&T
Pierre Wolper, University of Liege
--------------------------------------------------------------------------------
SUNDAY, August 13
Registration: 16:00 - 19:00, Reception: 18:00-21:00.
MONDAY, August 14
Session 1: 9:30 - 10:30 Invited Lecture
Systematic and Formal Approaches to Reactive Systems,
Amir Pnueli (Weizmann Institute).
Coffee break: 10:30 - 11:00
Session 2: 11:00 - 12:00
Equational Reasoning About Nondeterministic Processes,
Jayadev Misra (University of Texas at Austin).
Towards Dataflow Analysis of Communicating Finite State Machines,
Wuxu Peng and S. Purushothaman (Penn State).
Lunch: 12:00 - 14:00
Session 3: 14:00 - 15:30
The Intractability of Bounded Protocols for non-FIFO Channels,
Yishay Mansour (MIT), and Baruch Schieber (IBM).
Tight Bounds for the Sequence Transmission Problem,
Da-Wei Wang and Lenore D. Zuck (Yale).
Source To Destination Communication in the Presence of Faults,
Oded Goldreich, Amir Herzberg (Technion) and
Yishay Mansour (MIT).
Coffee Break: 15:30 - 16:00
Session 4: 16:00 - 17:30
Probabilistic Knowledge and the Power of Adversary,
Joseph Y. Halpern (IBM) and Mark R. Tuttle (MIT).
On Reliable Message Diffusion,
Yoram Moses and Gil Roth (Weizmann Institute).
A Categorical Approach to Distributed Systems Expressibility and
Knowledge, Ruben Michel (Yale).
Cocktails and Banquet 18:30 - 21:00
TUESDAY, August 15
Session 5: 9:30 - 10:30
Ambiguity of Choosing,
James E. Burns and Gary L. Peterson (Georgia Tech.).
Sticky Bits and Universality of Consensus,
Serge A. Plotkin (Stanford).
Coffee break: 10:30 - 11:00
Session 6: 11:00 - 12:00
Tight Bounds for Shared Memory Symmetric Mutual Exclusion Problems,
Eugene Styer and Gary L. Peterson (Georgia Tech.).
Efficient Solution to the Distributed Mutual Exclusion Problem,
Divyakant Agrawal and Amr El Abbadi (UC Santa Barbara).
Lunch: 12:00 - 14:00
Session 7: 14:00 - 15:30
Non-Cryptographic Fault-Tolerant Computing in a Constant Number of
Rounds of Interaction, Judith Bar-Ilan (Hebrew University)
and Don Beaver (Harvard).
Efficient Parallel Algorithms Can Be Made Robust,
Paris C. Kanellakis (INRIA) and Alex A. Shvartsman (Brown).
Efficient Distributed Recovery Using Message Logging,
A. Prasad Sistla and Jennifer L. Welch (GTE Laboratories).
Coffee Break: 15:30 - 16:00
Session 8: 16:00 - 17:30
A Structural Induction Theorem for Processes,
R. P. Kurshan (AT&T) and Ken McMillan (Carnegie-Mellon).
A Predicate Transformer Approach to Semantics of Parallel Programs,
Ch. S. Jutla, Edgar Knapp, and Josyula R. Rao (UT Austin).
Predicates are Predicate Transformers: a Unified Compositional
Theory for Concurrency, Job Zwiers (Philips) and
Willem-P. de Roever (TH Eindhoven and Philips).
WORK IN PROGRESS SESSION 20:30 - 22:30
WEDNESDAY, August 16
Session 9: 9:00 - 10:30
Bounded Polynomial Randomized Consensus,
Hagit Attiya (MIT), Danny Dolev (IBM and Hebrew University),
and Nir Shavit (Hebrew University)
Modular Construction of Nearly Optimal Byzantine Agreement Protocols,
Brian A. Coan (Bellcore) and Jennifer L. Welch (GTE Labs).
Shared-Memory vs. Message-Passing in an Asynchronous Distributed
Environment, Amotz Bar-Noy (Stanford) and Danny Dolev (IBM)
Coffee break: 10:30 - 11:00
Session 10: 11:00 - 12:30
Calling Names on Nameless Networks,
Baruch Schieber and Marc Snir (IBM).
Multiple Communication in Multi-Hop Radio Networks,
Reuven Bar-Yehuda, Amos Israeli and Alon Itai (Technion).
Fast Isolation of Arbitrary Forwarding Faults,
Amir Herzberg (Technion) and Shay Kutten (IBM).
--------------------------------------------------------------------------------
LOCATION
All technical sessions, the reception, and the banquet will be held at
The Chateau Lacombe Hotel, 101st Street at Bellamy Hill, Edmonton,
Alberta, Canada T5J 1N7.
TRANSPORTATION
Edmonton International Airport is served by most major airlines and is
about 30 minutes from the conference hotel by taxi (fare approximately
$30). Alternatively, you may take the Airport Shuttle to the hotel
(fare about $7).
CLIMATE
The temperatures in mid August range from the average daytime high of
20 deg C to the average nighttime low of 10 deg C. Rain showers are
infrequent in August.
ATTRACTIONS
The hotel is right in the heart of downtown Edmonton. Shopping, fine
dining, and the river valley parks are within walking distance of the
hotel. The famous West Edmonton Mall can be reached by a shuttle bus
(fare about $4).
--------------------------------------------------------------------------------
ADVANCE REGISTRATION
Please use a copy of this form to pre-register. Advance registration
closes July 31, 1989. Registration after July 31 is subject to a late fee.
Please mail your completed form with cheque (drawn on a North American Bank)
or money order (in Canadian funds) payable to ACM PODC'89 to:
ACM PODC'89
c/o Piotr Rudnicki
Department of Computing Science
The University of Alberta
Edmonton, Alberta, Canada T6G 2H1
The regular registration fee includes a reception on Sunday evening,
luncheon on Monday, the banquet on Monday evening, coffee breaks, and
a copy of the proceedings. Student registration fee includes everything
except the banquet. Requests for refunds will be honoured until
July 31, 1989. For further information please contact Piotr Rudnicki
by phone at (403) 492-2983, fax (403) 492-1071, or send electronic mail
to: piotr@alberta.uucp.
--------------------------------------------------------------------------------
ACM - PODC'89 Registration Form
Surname .....................................................
Given name .....................................................
Affiliation .....................................................
.....................................................
Address .....................................................
.....................................................
.....................................................
Postal code ........... Country .............
Phone number ........... e-mail ...................
Do you prefer vegetarian food? (yes or no)
before July 31 after
$CDN $CDN
ACM Member 240 290
Membership No. __________
Non-member 300 350
Student 90 100
Addtitional banquet tickets 35 35
Total enclosed _______________$CDN
--------------------------------------------------------------------------------
HOTEL RESERVATION
A block of rooms has been reserved for the PODC'89 participants. If you
wish to reserve one of these rooms, please complete the form below and
return to:
ACM PODC'89
The Chateau Lacombe Hotel
101st Street at Bellamy Hill
Edmonton, Alberta, Canada, T5J 1N7
Chateau Lacombe can be reached by phone (403) 428-6611, fax (403) 426-7625,
and telex 037-2940. Please mention that you are part of the ACM PODC'89.
Reservations must be received by July 21, 1989. Accommodations should be
confirmed with a cheque for the first night deposit, or any major credit card.
The conference rate at Chateau Lacombe is CDN $70, single or double occupancy,
plus 5% tax. (Current exchange rate is roughly CDN $1 = US $0.84.)
Check-out time is 1:00 pm. If you wish to arrive before Sunday or stay on beyond
Wednesday morning, the conference fee will be honoured for at least one
additional night.
ACM PODC'89 Hotel Reservation Form
Surname ................................................
Given name ................................................
Affiliation ................................................
Address ................................................
................................................
................................................
Postal code ............. Country ............
Phone number ..................
Arrival date/time _________________________________
Departure date/time _______________________________
Single or double
Deposit enclosed $CDN or
Credit card
Card No.
Expiry date
Signature