Newsgroups: comp.parallel
From: anderson@cs.unc.edu (James H. Anderson)
Subject: PODC95 Program and Registration (DEADLINE SOON)
Organization: The University of North Carolina at Chapel Hill
Date: Tue, 11 Jul 1995 11:54:51 GMT
Message-ID: <3ttoqb$p9g@anderson.cs.unc.edu>

                  PODC '95 PROGRAM AND REGISTRATION

  Fourteenth ACM Annual Symposium on Principles of Distributed Computing
                        Hotel Chateau Laurier 
                       Ottawa, Ontario, Canada

                         August 20-23, 1995

		  Sponsored by: ACM SIGOPS and SIGACT
	     Supported by: Digital Equipment Corporation,
	  IBM Almaden Research Center, Bell Northern Research
                       and Carleton University

----    ----    ----    ----    ----    ----    ----    ----    ----    ----

+=========================================================================+
| This Call for Participation will not be widely distributed by post.     |
| Relying on electronic distribution has helped reduce the cost (and      |
| hence the fees) of PODC in recent years.  Please post it at your        |
| place of work and distribute it as widely as possible among interested  |
| researchers that you know.                                              |
|                                                                         |
| Copies may be obtained by anonymous ftp from site ftp.db.utoronto.ca    |
| (IP address 128.100.2.100) in directory pub/vassos, file podc95prog.tex |
| (latex version) and file podc95prog.txt (plain text).                   |
|                                                                         |
| For additional information see the  World Wide Web pages in             |
|     http://www.scs.carleton.ca/scs/podc/podc.html                       |
| and                                                                     |
|     http://www.cs.cornell.edu/Info/People/chandra/podc95/podc95.html    |
+=========================================================================+

----    ----    ----    ----    ----    ----    ----    ----    ----    ----


GENERAL INFORMATION

SYMPOSIUM SITE
PODC '95 will be held in Hotel Chateau Laurier, Ottawa, Ontario, Canada.
Ottawa, the modern and cosmopolitan capital of Canada, takes its name 
from the Algonquin Indian tribe, the Odawa.  It is a metropolitan area 
of about one million people and is located at the confluence of the 
Ottawa, Rideau, Gatineau rivers and the historic Rideau canal.  It is a
city of parks, pleasant driveways with bicycle paths, cross-country
skiing (in the winter), and of flowers (especially tulips in May).  The
Parliament buildings stand on a cliff-top overlooking the Ottawa river; 
highlights here include the "Changing of the Guard" at 10 am and the "Light
and Sound" show in the evenings.  Canada's capital boasts one of the finest
collections of cultural attractions in the world and no visit would be
complete without a visit to at least some of them.  Twelve national museums,
the best in English and French theaters, the NAC (National Arts Center) 
orchestra, are among the world's finest.  Other attractions include 
the Supreme Court and the National Library.  The city is well-known for 
its lovely drives beside the river, canal and north into the Gatineau 
Hills.  Much of the Gatineau Park (34 miles NW of Ottawa) is wilderness
but parts are devoted to outdoor recreation, including camping, swimming,
fishing, and hiking.  August in Ottawa is warm (average 25C or 77F) and 
sunny with cooler evenings and occasional rain possible. 

TRANSPORTATION TO OTTAWA
By Air: Macdonald-Cartier International Airport is located toward the south
  of the city and is accessible via the Airport Parkway.  A one-way trip
  from the airport to the hotel Chateau Laurier takes approximately twenty
  minutes at a cost of at most 25 $CDN by taxi.  The airport shuttle runs
  every half-hour; the fare is 9 $CDN one-way, 14 $CDN round-trip.  Some of
  the major airlines servicing Ottawa include Air Canada, Delta, Canadian,
  KLM, Lufhansa, US Air. 

By Train and Bus: Rail service into Ottawa is provided by VIA Rail. The
  train station is located to the east of the city (just off the Queensway).
  A one-way  trip from the train station to the hotel takes approximately
  fifteen minutes at  a cost of about 15 $CDN by taxi. There is also frequent
  bus service to  Ottawa from both Montreal and Toronto.  A one-way trip from
  the bus station to the hotel takes approximately ten minutes at a cost of
  less than 10 $CDN by taxi. 

By Car:
Toronto  ---> Ottawa:
  Take Hwy 401 E to Hwy 16 N, the exit for Ottawa.  Hwy 16 N will take you
  directly into downtown Ottawa, changing names first to Prince of Wales and
  secondly to Queen Elizabeth Drive.  Along Queen Elizabeth Drive the canal
  will be on your right-hand side.  At the end of this street you can only
  turn left onto Laurier St.  Stay in the right-hand lane and at the first
  lights, turn right onto Elgin Street.  The hotel three blocks away from
  this intersection at the end of Elgin street.  You won't miss it as it
  looks like a castle!  The address is 1 Rideau Street.

Montreal ---> Ottawa:
  Take Hwy 40 W which will turn into Hwy 417 W once crossing the Ontario-
  Quebec border.  Follow Hwy 417 until you see a sign for Nicholas street.
  Take Nicholas Street to the first set of lights, which is Laurier, and
  turn left on Laurier Street going over Rideau Canal.  The first set of
  lights will be Elgin Street.  Follow Elgin Street and that will take you
  directly into the hotel.  You won't miss it as it looks like a castle! 
  The address is 1 Rideau street. 

New York City ---> Ottawa:
  Take Hwy 17 to Hwy 81.  Follow Hwy 81 N to the border crossing at the
  Thousand Islands.  From there, continue E along Hwy 401 to Hwy 16 N. 
  Hwy 16 N will bring you directly into Ottawa.  Note that the name will
  change first to Prince of Wales Drive and secondly to Queen Elizabeth
  Drive.  Along Queen Elizabeth Drive the canal will be on your right-hand 
  side.  At the end of this street you can only turn left onto Laurier St.
  Stay in the right-hand lane and at the first lights turn right onto Elgin 
  Street.  The hotel is three blocks further away from this intersection at 
  the end of Elgin Street.  You won't miss it as it looks like a castle!
  The address is 1 Rideau Street.

PASSPORTS AND VISAS
  Participants are advised to check their individual circumstances for entry
  into Canada.

CONFERENCE COMMITTEE
  Program Chair: Vassos Hadzilacos (University of Toronto)
  General Chair: James Anderson (University of North Carolina at Chapel Hill)
  Treasurer: James E. Burns (Bellcore)
  Local Arrangements: Evangelos Kranakis & Danny Krizanc (Carleton University)

PROGRAM COMMITTEE
  Yehuda Afek (Tel Aviv)          Amir Herzberg (IBM Watson)
  Hagit Attiya (Technion)         Prasad Jayanti (Dartmouth)
  Tushar Chandra (IBM Watson)     Frans Kaashoek (MIT)
  Soma Chaudhuri (Iowa State)     Yoram Moses (Weizmann)
  Thorsten von Eicken (Cornell)   Gadi Taubenfeld (AT&T Bell Labs and
  Vassos Hadzilacos (Toronto)                   Israel Open University) 
  Joseph Halpern (IBM Almaden)    George Varghese (Washington-St Louis)

ACKNOWLEDGEMENT:  The PODC community gratefully acknowledges the support of
  Digital Equipment Corporation, IBM, Bell Northern Research and Carleton
  University for this year's symposium.


		AGENDA AND TECHNICAL PROGRAM

		---Sunday, August 20---


3 - 5   Pre-conference Presentation  (MACDONALD ROOM)
	Computability Results by Algorithmic Reasoning
	Eli Gafni
	University of California at Los Angeles

7 - 10  Reception (BANQUET ROOM)       


		---Monday, August 21---



Invited Lecture (DRAWING ROOM)

9:00	Fundamental challenges in mobile computing
	Mahadev Satyanarayanan
	Carnegie Mellon University

10:00	Coffee Break

Session L1. Chair: Yoram Moses (DRAWING ROOM)

10:20	Universal fault-local mending
	Shay Kutten, David Peleg
	IBM Watson, Weizmann Institute

10:45	Sub-linear distributed algorithms for sparse certificates and
	  biconnected components
	Ramakrishna Thurimella
	University of Denver

11:10	Faster computation on directed networks of automata
	Rafail Ostrovsky, Daniel Wilkerson
	University of California at Berkeley

11:35	Distributed dynamic channel allocation for mobile computing
	Ravi Prakash, Niranjan G. Shivaratri, Mukesh Singhal
	Ohio State University, NEC, Ohio State University

12:00	Lunch (on your own)

Session B1. Chair: Yehuda Afek (DRAWING ROOM)

 2:00	A modular measure of competitive performance for distributed
	  algorithms
	James Aspnes, Orli Waarts
	Yale University, University of California at Berkeley

 2:10	Randomized competitive algorithms for admission control in
	  general networks
	Vaggelis Kapoulas, Paul Spirakis
	Computer Technology Institute at Patras

 2:20	Log-space polynomial end-to-end communication
	Eyal Kushilevitz, Rafail Ostrovsky, Adi Ros\'en
	The Technion, University of California at Berkeley, Tel Aviv
	  University

 2:30	SuperStabilizing protocols for dynamic distributed systems
	Shlomi Dolev, Ted Herman
	Texas A&M University, University of Iowa

 2:40	Self-stabilizing clock synchronization in the presence of
	  Byzantine faults
	Shlomi Dolev, Jennifer Welch
	Texas A&M University

 2:50	Securing the internet
	Pau-Chen Cheng, Juan A. Garay, Amir Herzberg, Hugo Krawczyk
	IBM Watson

 3:00	The RAPID C++ environment
	Marlon Abayan, Ray Strong, Ed Wimmers
	Massachusetts Institute of Technology, IBM Almaden, IBM Almaden

 3:10	Architecture decisions for wide-area applications
	Michael Ogg, Aleta Ricciardi
	University of Texas at Austin

 3:20	A sequencing service for group communication
	Tim Kindberg
	University of London

 3:30	Coffee Break

Session L2. Chair: Tushar Chandra (DRAWING ROOM)

 3:50	Collecting cyclic distributed garbage using heuristics to
	  control migration
	Umesh Maheshwari, Barbara Liskov
	Massachusetts Institute of Technology

 4:15	On distributed object checkpointing and recovery
	Manhoi Choy, Hong V. Leong, Man Hon Wong
	Hong Kong University of Science and Technology

 4:40	On the relevance of communication costs of rollback-recovery
	  protocols
	Elmootazbellah N. Elnozahy
	Carnegie Mellon University

 5:05	Protocol composition in Horus
	Robbert van Renesse, Kenneth P. Birman
	Cornell University


 6:00	Banquet (RENAISSANCE ROOM)


                ---Tuesday, August 22---

Session L3. Chair: Soma Chaudhuri (DRAWING ROOM)

 9:00	Algebraic spans
	Maurice Herlihy, Sergio Rajsbaum
	Brown University, Massachusetts Institute of Technology

 9:25	Failure detectors and the wait-free hierarchy
	Gil Neiger
	Intel

 9:50	More on t-resilience vs. wait-freedom
	Wai-Kau Lo
	University of Toronto

10:15	Coffee Break

Session L4. Chair: Hagit Attiya (DRAWING ROOM)

10:45	Crumbling walls: a class of practical and efficient quorum systems
	David Peleg, Avishai Wool
	Weizmann Institute

11:10	Achieving independence efficiently and securely
	Rosario Gennaro
	Massachusetts Institute of Technology

11:35	Optimal convergence function based clock synchronization
	Christof Fetzer, Flaviu Cristian
	University of California at San Diego

12:00	Conference Luncheon (CANADIAN ROOM)

Session B2. Chair: Joseph Halpern (DRAWING ROOM)

 1:30	Prediction based task scheduling in distributed computing
	Mehrdad Samadani, Erich Kaltofen
	Rensselaer Polytechnic Institute

 1:40	Scheduling in client-server systems
	Shikharesh Majumdar, Tom Phillip
	Carleton University

 1:50	Deriving optimal checkpoint protocols for distributed shared memory
	  architectures
	Lorenzo Alvisi, Keith Marzullo
	Cornell University, University of California at San Diego

 2:00	Active client primary-backup protocols
	Parvathi Chundi, Ragini Narasimhan, Daniel J. Rosenkrantz, S.S. Ravi
	SUNY at Albany

 2:10	A view-based approach to relaxing global serializability in a
	  multidatabase system
	Evaggelia Pitoura, Aidong Zhang, Bharat Bhargava
	Purdue University, SUNY at Buffalo, Purdue University

 2:20	Constraint-based structuring of distributed protocols
	Gurdip Singh
	Kansas State University

 2:30	Generalizing fair reachability analysis to protocols with
	  arbitrary topology
	Hans van der Schoot, Hasan Ural
	University of Ottawa

 2:40	Compiling knowledge-based programs
	Aamod Sane, Roy Campbell
	University of Illinois at Urbana-Champaign

 2:50	A calculus for concurrent update
	Gordon V. Cormack
	University of Waterloo

 3:00	Coffee Break

Session L5. Chair: Gadi Taubenfeld (DRAWING ROOM)

 3:20	Reasoning about meta level activities in open distributed systems
	Nalini Venkatasubramanian, Carolyn Talcott
	Hewlett-Packard Labs, Stanford University

 3:45	Knowledge-based programs
	Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
	IBM Almaden, IBM Almaden, Weizmann, Rice

 4:10	Formal semantics for expressing optimism: the meaning of HOPE
	Crispin Cowan, Hanan Lutfiyya
	Oregon Graduate Institute, University of Western Ontario

 4:35	Formal verification of timed properties for randomized distributed
	  algorithms
	Anna Pogosyants, Roberto Segala
	Massachusetts Institute of Technology

 8:00	Business Meeting and Rump Session: (MACDONALD ROOM)


		---Wednesday, August 23---

Invited Lecture (DRAWING ROOM)

 9:00	Atomicity and electronic commerce
	Doug Tygar
	Carnegie Mellon University

10:00	Coffee Break

Session L6. Chair: Prasad Jayanti (DRAWING ROOM)

10:20	Universal constructions for multi-object operations
	James H. Anderson, Mark Moir
	University of North Carolina at Chapel Hill

10:45	Long-lived renaming made fast
	Harry Buhrman, Juan A. Garay, Jaap-Henk Hoepman, Mark Moir
	CWI Amsterdam, IBM Watson, CWI Amsterdam, University of
	  North Carolina at Chapel Hill

11:10	Software transactional memory
	Nir Shavit, Dan Touitou
	Tel Aviv University and Massachusetts Institute of Technology,
	  Tel Aviv University

11:35	Lock-free linked lists using compare-and-swap
	John D. Valois
	Rensselaer Polytechnic Institute

12:00	Lunch (on your own)

Session B3. Chair: Vassos Hadzilacos (DRAWING ROOM)

 2:00	Lazy-writer multivalued registers
	Martha J. Kosa
	Tennessee Technological University

 2:10	3-processor tasks are undecidable}
	Eli Gafni, Elias Koutsoupias
	University of California at Los Angeles

 2:20	Using lock-free objects in hard real-time applications
	James H. Anderson, Srikanth Ramamurthy
	University of North Carolina at Chapel Hill

 2:30	Complete implementations for shared memory consistency conditions
	Jerry James, Ambuj Singh
	University of California at Santa Barbara

 2:40	Load balancing networks
	Sarantos Kapidakis, Marios Mavronicolas
	University of Crete, University of Cyprus

 2:50	A logarithmic depth counting network
	Costas Busch, Marios Mavronicolas
	University of Crete, University of Cyprus

 3:00	Coffee Break

Session L7. Chair: Amir Herzberg (DRAWING ROOM)

 3:20	Memory requirement for universal routing schemes
	Pierre Fraigniaud, Cyril Gavoille
	Ecole Normale Sup\'erieure de Lyon

 3:45	Optimal distributed algorithm for minimum spanning trees revisited
	Michalis Faloutsos, Mart Molle
	University of Toronto, University of California at Riverside

 4:10	Fast distributed construction of $k$-dominating sets and applications
	Shay Kutten, David Peleg
	IBM Watson, Weizmann Institute

 4:35	Closing of the conference

PODC '95 CONFERENCE REGISTRATION  --- Ottawa, Canada --- August 20-23, 1995

Program registration includes: Sunday night reception, Banquet, one lunch,
  coffee breaks and proceedings.
Please circle the appropriate registration fees (quoted in US and
  Canadian Dollars).
NOTE: The student registration fee includes the banquet.  Students NOT wishing
  to attend the banquet may deduct $35 (45 $CDN) from the registration fee. 


		       By July 15	     After July 15
ACM Member          $175 or 240 $CDN        $245 or 340 $CDN
Non member          $260 or 360 $CDN        $330 or 460 $CDN
Full time student   $ 85 or 120 $CDN        $110 or 150 $CDN

Please make your check or money order in US or Canadian Dollars
payable to: PODC '95.

We can also accept VISA or MasterCard payment, but we must 
ADD AN ADDITIONAL $10 (14 $CDN) fee to cover the handling charges.

Circle: VISA  MC  Card #:______________________________ Exp. Dt:_________

Amt (w/ fee): $__________   Name as on card:________________________________

Signature: ___________________________________________


Please mail to:
     PODC 95 Registration
     c/o James E. Burns
     Bellcore, NVC 3X-114
     331 Newman Springs Road
     Red Bank, NJ 07701-5699

Name: _________________________________________

Affiliation: __________________________________

Surface Address: ______________________________

      _________________________________________

      _________________________________________

Short name for badge: _________________________ (First or nickname)

email: ________________________________________

Phone: ________________________________________

ACM number: ___________________________________

Student ID number: ____________________________

Dietary Restrictions: __________________________________________________

A conference registration/information desk will be set up in the lobby outside
the meeting room of the conference during the hours of the conference.
 
PODC '95 HOTEL REGISTRATION --- August 20-23, 1995

The conference will be held at the Chateau Laurier Hotel, Ottawa.
The rates for PODC '95 are posted below and apply from Saturday
August 19 to Wednesday August 23, inclusive.  Reservation requests
received by the hotel after the July 15 deadline are at your own risk;
availability and rates are then no longer guaranteed.  Refer to
ACM-PODC '95 when making your reservations to obtain the rates
listed.  To make reservations by phone, call 613-241-1414, and by fax
613-562-7031.  To make reservations, fill out the form below and fax
it, or mail it to the following address:
          Chateau Laurier Hotel
          1 Rideau Street
          Ottawa, Ontario
          K1N 8S7, CANADA

Credit card information or a deposit (in the form of a check or money
order for one night's stay made payable to the Chateau Laurier Hotel)
must be included.  Deposits will be refunded if the hotel is notified
48 hours before arrival. 

RATE (Saturday - Wednesday): 
                           single or double: 110 $CDN plus tax
                           triple:           130 $CDN plus tax
                           quadruple:        150 $CDN plus tax

Check Room Type:           SINGLE or  DOUBLE
                           TRIPLE
                           QUADRUPLE
 
Name: _________________________________________

Surface Address: ______________________________

      _________________________________________

      _________________________________________

Phone: ________________________________________

Arrival Date/Time: ____________________________

Departure Date/Time: __________________________

Sharing with: _________________________________


If paying by credit card please complete

American Express:____________________  EXPIRATION DATE:___________
MASTER CARD:     ____________________  EXPIRATION DATE:___________
VISA CARD:       ____________________  EXPIRATION DATE:___________
DINER'S CLUB:    ____________________  EXPIRATION DATE:___________

I AUTHORIZE THE CHATEAU LAURIER TO CHARGE THE ABOVE ACCOUNT FOR 
THE AMOUNT EQUAL TO ONE NIGHT'S STAY IN CASE OF NO-SHOW.

SIGNATURE:______________________________________________


-- 

----------**********----------**********----------**********----------
Jim Anderson    UNC Chapel Hill    anderson@cs.unc.edu    919 962-1757


