arvind@utcsri.UUCP (04/24/87)
From: Tiko Kameda <tiko%cmpt.sfu.cdn%ubc.csnet@relay.cs.net>
Subject: ACM PODC Preliminary Prog.
6 th ACM SIGACT-SIGOPS
Symposium on Principles of Distributed Computing
Vancouver, British Columbia, Canada, August 10-12, 1987
Sponsored by
the ACM Special Interest Group for Automata and Computability Theory
and the ACM Special Interest Group for Operating Systems
CONFERENCE CHAIR
David Kirkpatrick, University of British Columbia
PROGRAM CHAIR
Fred Schneider, Cornell University
PUBLICITY CHAIR
Tiko Kameda, Simon Fraser University
PROGRAM COMMITTEE
Andrew Birrell, DEC
Danny Dolev, Hebrew University
Nissim Francez, Technion
Eli Gafni, UCLA
Vassos Hadzilacos, Toronto
Leslie Lamport, DEC
Barbara Liskov, MIT
Michael Merritt, AT&T Bell Laboratories
Fred Schneider, Cornell
Eli Upfal, IBM Almaden
_______________________________________________________________________
PRELIMINARY PROGRAM
The rump session after the banquet on Tuesday night will consist
of a number of short (5-10 minute) presentations on current
research. These presentations will be chosen by the program com-
mittee on the basis of interest to the community from abstracts
submitted on the first day of the conference.
Monday, August 10, 1987.
Session 1, 0900-1000. Invited Lecture
A Practical Model for Distributed Computing. Jim Gray (Tandem
Computers).
Break, 1000-1030.
Session 2, 1030-1200.
Epidemic algorithms for replicated database maintenance. Alan
Demers, Dan Greene, Carl Hauser, Wes Irish, John Larson, Scott
Shenker, Howard Sturgis, Dan Swinehart, and Doug Terry (Xerox
P.A.R.C).
Update propagation in Bakunin data networks. Boris Kogan and
Hector Garcia-Molina (Princeton).
Quorum consensus in nested transaction systems. Kenneth Goldman
and Nancy Lynch (M.I.T.).
Lunch, 1200-1330.
Session 3, 1330-1500.
Shifting gears: Changing algorithms on the fly to expedite
Byzantine agreement. Amotz Bar-Noy and Danny Dolev (Hebrew
University), and Cynthia Dwork and H. Raymond Strong (IBM Almaden
Research Center).
Fault-tolerant decision making in totally asynchronous distribut-
ed systems. Michael F. Bridgland and Ronald J. Watro (MITRE
Corp.).
Asynchronous approximate agreement. A.D. Fekete (Harvard).
Break, 1500-1530.
Session 4, 1530-1600.
An optimal synchronizer for the hypercube. David Peleg and Jef-
frey D. Ullman (Stanford).
On processor coordination using asynchronous hardware. Benny
Chor, Amos Israeli, and Ming Li (Harvard).
On the time complexity of broadcast in radio networks: An ex-
ponential gap between determinism and randomization. Reuven.
Bar-Yehuda, Oded. Goldreich, and Alon Itai (Technion).
Tuesday, August 11, 1987.
Session 5, 0900-1000.
Detecting global termination conditions in the face of uncertain-
ty. Yehuda Afek (Bell Laboratories) and Michael Saks (Rutgers
and Bell Communications Research).
Detection of stable properties in distributed applications. J.M.
Helary, C. Jard, N. Plouzeau, M. Raynal (IRISA, France)
Break, 1000-1030.
Session 6, 1030-1200.
Hierarchical correctness proofs for distributed algorithms. Nan-
cy A. Lynch and Mark R. Tuttle (M.I.T.).
Modular verification of asynchronous networks. Bengt Jonsson
(Uppsala University)
Specifying graceful degradation in distributed systems. Maurice
P. Herlihy and Jeanette M. Wing (C.M.U.).
Lunch, 1200-1330.
Session 7, 1330-1500.
Interleaving set temporal logic. Shmuel Katz and Doron Peled
(Technion).
Specifying message passing systems requires extending temporal
logic. Ron Koymans (Eindhoven University of Technology).
A hierarchy of temporal properties. Z. Manna (Stanford) and A.
Pnueli (Weizmann).
Break, 1500-1530.
Session 8, 1530-1600.
Constructing multi-reader atomic values from non-atomic values.
James E. Burns and Gary L. Peterson (Georgia Institute of Tech-
nology).
Constructing two-writer atomic registers. Bard Bloom (M.I.T.).
The elusive atomic register revisited. Ambuj K. Singh, James H.
Anderson, and Mohamed G. Gouda (University of Texas at Austin).
A protocol for wait-free, atomic, multi-reader shared variables.
Richard Newman-Wolfe (Univ. of Florida).
Cocktails and Banquet.
Work in Progress, 2030-2230.
Wednesday, August 12, 1987.
Session 9, 0930-1030
Achieving independence in logarithmic number of rounds. Benny
Chor and Michael O. Rabin (Harvard).
A little knowledge goes a long way: Simple knowledge-based
derivations and correctness proofs for a family of protocols.
Joseph Y. Halpern (IBM Almaden Research Center) and Lenore D.
Zuck (Yale).
Break, 1030-1100.
Session 10, 1100-1200.
Substituting for real time and common knowledge in asynchronous
distributed systems. Gil Neiger and Sam Toueg (Cornell).
Avoiding the state explosion problem in temporal logic model
checking algorithms. E.M. Clarke and O. Grumberg (C.M.U.).
GENERAL INFORMATION
LOCATION
All technical sessions, the reception and the banquet will be
held at the Remada Renaissance Hotel, 1733 Comox Street (at Den-
man), Vancouver, British Columbia, V6G 1P6. This is the same lo-
cation as PODC-84.
TRANSPORTATION
Vancouver International Airport is served by most major airlines
and is about 15 miles from the conference hotel. Taxi fare from
the airport is approximately $18 and the trip is about 20 to 25
minutes. Vancouver is about a 3 hour drive from Seattle, Wash-
ington.
CLIMATE
The average temperature in mid August ranges from a daytime high
of 23 degrees Celsius (74 Fahrenheit) to a night-time low of 15
degrees Celsius (59 Fahrenheit). Rain showers are always a pos-
sibility in Vancouver, though heavy rainstorms are unusual at
this time of year.
THINGS TO DO
The hotel is three blocks from Vancouver's famous Stanley Park.
This 1000 acre park includes an aquarium, zoo, rose gardens, a 10
kilometer seawalk and cycle path, jogging trails, beaches, tennis
courts, children's rides, and numerous other facilities. The
beaches at English Bay are two blocks from the hotel. Popular
shopping and dining areas close to the hotel include Robson and
Denman streets (within walking distance), Gastown, Granville Is-
land, and Chinatown - the second largest in North America.
REGISTRATION FEES
The regular registration fee includes a reception on Sunday even-
ing, luncheon on Monday, the banquet on Tuesday evening, coffee
breaks, and a copy of the proceedings. Student registration in-
cludes everything except the banquet.
_______________________________________________________________________
ADVANCE REGISTRATION
Please use this form or a facsimile to pre-register. Advance
registration closes July 31, 1987. Registration after July 31 or
at the conference site is subject to a late fee. Please mail
your completed form with cheque (drawn on a North American bank)
or international money order (in Canadian or US funds) payable to
PODC CONFERENCE to:
ACM PODC CONFERENCE
c/o UBC Center for Continuing Education
5997 Iona Drive
Vancouver, B.C.
Canada V6T 1W5
The rates for registration are listed below. Requests for re-
funds will be honoured until July 31, 1987.
For further information, please call (604)-222-5278, or send
electronic mail to: kirk@ubc.csnet
_______________________________
Registration Form
ACM PODC-87
Name (last name first) ________________________________
Affiliation ___________________________________________
Address _______________________________________________
_______________________________________________________
City _______________________ State/Province ___________
Zip/Postal Code ____________ Country __________________
Phone number __________________________________________
Electronic mail address (if applicable) _______________
Please circle appropriate fees.
CDN U.S.
9 ACM/SIG Member $170 $130
Membership No. __________
Non-member $225 $170
Student $75 $60
Non-student late fee $50 $40
Student late fee $15 $12
Additional banquet tickets ___ x $30 $23
Total enclosed:
$ ______ CDN $ ______ U.S.
HOTEL RESERVATION
A block of rooms has been reserved (until July 10, 1987) for
conference participants. If you wish to reserve one of these
rooms, please complete the form below and return it to:
Ramada Renaissance Hotel
1733 Comox Street
Vancouver, British Columbia
Canada V6G 1P6
If you phone the Remada Renaissance Hotel (604-688-7711; Telex
04-508514), please mention that you are part of the Association
for Computing Machinery Conference. Reservations must be re-
ceived by July 10, 1987.
Accommodations should be confirmed (especially if arrival after
6:00 pm is anticipated) with a cheque for the first night's depo-
sit, or any major credit card.
The conference rate at the Remada Renaissance per night is CDN
$75 for single and CDN $80 for double occupancy. (Current ex-
change rate is roughly CDN $1 = US $0.75.)
Check-in time is 2:00 pm, and check-out time is 1:00 pm. If you
wish to stay on beyond Wednesday morning, the conference rate
will be honoured for at least one additional night (subject to
room availability).
_______________________________
Hotel Reservation Form
ACM PODC Symposium, Aug. 10-12, 1987
Name (last name first)_________________________________
Affiliation ___________________________________________
Address _______________________________________________
City________________________ State/Province _________
Zip/Postal Code ___________ Country__________________
Phone number _________________________________________
Arrival Date _______________ Time ____________________
Departure Date _____________ Time ____________________
9 No. of persons _____________
Deposit Enclosed:
$ _______ U.S. $ _______ CDN
or credit card (specify): _______
Card Number ___________________________________
Expiry Date ____________________________________
Signature _____________________________________________