[ut.theory] ACM PODC ...

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 _____________________________________________