From: werner@inesc.inesc.pt (Werner Vogels)
Subject: LISBOA '92: An Advanced Course on Distributed Systems.
Organization: INESC - Instituto de Engenharia de Sistemas e Computadores, Lisboa, Portugal
Date: Thu, 9 Apr 1992 17:54:23 GMT
Expires: Wed, 8 Jul 1992 07:00:00 GMT


			LISBOA '92

	An Advanced Course on Distributed Systems


	29th June - 8th July 1992
	Estoril, Portugal

**********************************************************************
FRESH NEWS:

We have official confirmation from the European Commission, CEC-DGXIII
(who has been giving a very important collaboration) that personnel
involved in related european ESPRIT projects can claim the cost of the
course to the project!

Don't forget also (read inside) that the DCSA Network of Excellence,
ERCIM members and personnel in ESPRIT projects have special price
conditions. Please hasten your registration.

We are running out of the cheaper hotels.

**********************************************************************


Organized by: INESC

Sponsored by: INESC, ERCIM, DCSA ESPRIT Research Network

For Further Information:
Paulo Verissimo, LISBOA'92, lisboa92-org@inesc.pt, INESC, or
an ERCIM Institute or DCSA node near you (see addresses inside).


Lecturers

   Prof. Ozalp Babaoglu, Universita di Bologna
   Prof. Hermann Kopetz, Technical University of Vienna
   Dr.   Butler W. Lampson, Digital Equipment Corporation
   Prof. Sape J. Mullender, Universiteit Twente
   Prof. Roger M. Needham, Cambridge University
   Prof. Mahadev Satyanarayanan, Carnegie Mellon University
   Prof. Fred B. Schneider, Cornell University
   Dr.   Michael D. Schroeder, Digital Equipment Corporation
   Prof. Sam Toueg, Cornell University
   Prof. Paulo Verissimo, INESC - Technical University of Lisboa
   Prof. William E. Weihl, MIT Laboratory for Computer Science


=============================================================================

	AN ADVANCED COURSE ON  DISTRIBUTED SYSTEMS

Objective

The Advanced Course on Distributed Systems has been held four times
now in June or July: in Tromsoe, Norway (Arctic'88), at Cornell, USA
(Fingerlakes'89), in Italy (Bologna'90) and in Japan (Karuizawa'91).
This year will be Lisboa. The objective of the course is to
familiarize practitioners and researchers with key issues in
distributed systems. The lectures will discuss the fundamental
problems of the area, review known solutions and paradigms, and show
how to apply known theoretical results to the design of practical
systems. Lisboa'92 lecturers are internationally-known researchers
whose interests and experiences span the full range of distributed
computing.

Format

The course will be organized as a series of daily lectures with
several discussion sessions. The discussions will permit small groups
of attendees to interact directly with lecturers, either to focus on
issues that arise during the lectures or to pursue other topics of
interest to the group. Attendees are assumed to have a familiarity
with basic operating systems concepts.


Course Outline

Introduction

Why distributed systems? (Schroeder)
Motivation, requirements, goals, advantages, limitations (Schroeder)
Theory in practice, an introduction to theory (Schneider)

Fundamental Concepts

Specifications (Weihl)
Ordering of events, causality, logical clocks (Babaoglu)
Stable states, consistent cuts, distributed snapshots (Toueg)

Communication

Interprocess communication (Mullender)
Remote procedure call (Mullender)
Design of switch-based LANs (Schroeder)
Connection management (Lampson)

Services

Design of a distributed name service (Needham)
Support for parallel programs (Babaoglu)
Multimedia (Needham)

Security

Security in distributed systems (Lampson)
Implementing secure channels (Needham)

Fault Tolerance

Agreement, coordination, commitment, and group membership (Babaoglu, Toueg)
Reliable clock synchronization (Toueg)
Replication management, the state-machine approach (Schneider)
Reliable real-time systems (Kopetz/Verissimo)

Transactions

Atomic commitment (Babaoglu)
Transactional and other models and their applications (Weihl)
Theory of distributed transactions (Weihl)

Data Storage

Distributed file system design (Satyanarayanan)
The Coda file system (Satyanarayanan)
Alternative FS designs (Satyanarayanan)

Methodology

High-level specifications of distributed applications (Weihl)
Refinement (Schneider)

Distributed Systems Architecture

Operating system support for distributed applications (Mullender)
Interfaces for distributed operating systems (Mullender)
Design of real-time distributed systems (Kopetz/Verissimo)



=============================================================================
			THE LECTURERS



Ozalp Babaoglu		is Professor of Computer Science at the
University of Bologna, Italy where he leads the Paralex project whose
goal is to design and implement an integrated environment for
programming, debugging, monitoring, and controlling reliable
distributed applications. Babaoglu was a principal designer and
implementor of Berkeley UNIX. He is an editor for the Springer Verlag
journal Distributed Computing.

Hermann Kopetz		is Professor for computer science at the
Technical University of Vienna, Austria. After spending eight years in
industry in the field of computer process control he has been involved
in research on real time and fault tolerance in distributed computing
systems for the past 10 years.Dr. Kopetz is the principal investigator
of the MARS distributed fault-tolerant real-time system. He has
published many papers on real-time systems, clock synchronization,
fault- tolerance and software engineering. He has been the chairman of
the IEEE Technical Committee on Fault Tolerant Computing for the past
two years.

Butler W. Lampson		is a member of the research staff at
Digital's System Research Center in Palo Alto, California and
Cambridge Research Laboratory in Cambridge, Massachusetts. He has
worked on computer architecture, highspeed networks, raster printers,
page description languages, operating systems, remote procedure call,
programming languages and their semantics, programming in the large,
fault-tolerant computing, computer security, and WYSIWYG editors.

Sape J. Mullender		is a Professor of systems programming
and architecture in the Faculty of Computer Science of the University
of Twente in the Netherlands, where he leads the Huygens research
project on operating system support for distributed multimedia
systems. He is a principal designer of the Amoeba distributed
operating system and he has published papers on file systems,
high-performance RPC protocols, locating migratable objects in
computer networks, and protection mechanisms.

Roger M. Needham		is Professor of Computer Systems and
head of the Computer Laboratory at the University of Cambridge,
England and a Fellow of the Royal Society. He has contributed
extensively to many aspects of distributed computing and has most
recently been interested in computer protection and security

Mahadev Satyanarayanan	is an Associate Professor of Computer Science
at Carnegie Mellon University. His research addresses the problem of
data access in large-scale distributed systems. He currently leads the
Coda project, whose goal is to provide highly-available distributed
file access.  Earlier, he was a principal architect and implementor of
the Andrew file system.

Fred B. Schneider		is an Associate Professor of Computer
Science at Cornell University. His research is primarily concerned
with methodologies for designing and reasoning about concurrent
programs, particularly fault-tolerant and distributed ones. He is the
managing editor of Distributed Computing and an editor for Information
Processing Letters and Springer-Verlag Texts and Monograph in Computer
Science.

Michael D. Schroeder	is a member of the research staff at Digital's
Systems Research Center in Palo Alto, California. His particular
interest is discovering practical structures for distributed systems.
He has worked on computer protection and security, encryption-based
authentication protocols, computer message systems, naming in large
networks, remote procedure call performance, distributed file systems,
and high-speed local area networks.

Sam Toueg			is an Associate Professor of Computer
Science at Cornell University.  His research interests include
distributed systems, fault-tolerance, real-time systems, and
distributed databases.

Paulo Verissimo		is a professor at IST - Technical University
of Lisboa.  At INESC he leads the Distributed Systems and Industrial
Automation Group.  His group has been in several projects in
distributed systems, namely the DELTA-4 project.  His interests are:
real-time and dependability in distributed systems and computer
networks; group-oriented architectures and protocols; support for CSCW
and distributed computer control.  He is an editor for the
Telecommunications Systems Journal.

William E. Weihl		is an Associate Professor of Computer
Science at the Massachusetts Institute of Technology. His research
interests focus on parallel and distributed computing, particularly in
the areas of programming methodology, programming languages,
specification techniques, synchronization, and fault- tolerance. He is
one of the principal designers of the Argus and Mercury systems
developed at MIT.


=============================================================================
			GENERAL INFORMATION


Location

Estoril is a pleasant sunny village near Lisboa (30Km), right in the
celebrated Estoril Coast (or, as known among the Portuguese, "Cascais-Line").
This touristic area was not long ago the summer resort for the Lisboa
bourgeoisie. It still is the most attractive and welcoming zone for
delicious night-outs, and well-known for its palm lined
avenues, luxurious villas, casinos and rich gastronomy. However the
main reason for its fame are the delightful beaches at your disposal
with mild and quiet waters, or colder and wavy ones (any surfers
attending?). So you can enjoy the course facing the big blue, followed
by a swim in the mild afternoon sun.

Moreover, if you take the seaside train to Lisboa, after a half an
hour trip you will find yourself in the living centre of the white
city, with its medieval neighbourhoods, narrow streets and vibrant
colours: the commercial and baroque Baixa. Heading west from Estoril
you will discover nature: the wild Guincho beach, known to every
surfer or windsurfer, and the Serra de Sintra, green, fresh and noble.

The course site can be reached by taxi from the airport of Lisboa,
within a cost of around 5,000 escudos. As a cheaper alternative
(around 1,000 Escudos), you can take a taxi from the airport to the
railway station of Cais do Sodr in Lisboa. Then, take a train to
Estoril (half an hour seaside trip). Once there, the course site and
hotels are reachable by a short taxi trip.


Accommodations

A number of hotels within the area of Estoril and Cascais will be
available to the attendees. Upon completion of the enclosed form and
payment of a deposit, we will make reservations (subject to
availability) for the desired type of accommodation.  Reservations
will be handled on a first-come-first-served basis. In case of
unavailability, reservations will be made for the next higher-price
class of room. If you wish to make local arrangements on your own, a
list of suitable hotels will be supplied. For special arrangements
like camping, hotels in Lisboa, see hotel reservation form.

Fees

The tuition for the course is 225,000 PTE (Portuguese Escudo), or
1,500 US$ or 1,250 ECU.  With proof of full-time student status, the
course fee will be reduced to 165,000 PTE, 1,100 US$ or 950 ECU. The
fee includes all lectures and discussion sections; all course
material; all lunches and coffee breaks; welcome reception; social
dinner and a sunny weekend initiative.  The course has produced a
book: `Distributed Systems', published by ACM Press in the Frontier
Series. A new, deeply revised and augmented edition, is foreseen as a
by-product of this course. The course fee also includes one copy of
this new material.

A special price is made to students coming from DCSA Research Network
Nodes and ERCIM institutes. Please contact the DCSA managing node
representing your institution or the persons in charge of courses in
ERCIM, for instructions regarding price and registration (addresses at
the end). Participants in CEC ESPRIT projects should also contact the
address at the end for information regarding special conditions.


Payment


All payments must be made in either PTE, US Dollar or ECU. Payment for
the tuition fee and room deposit can be made through a bank cheque
payable to "INESC-LISBOA 92" accompanying the registration form or a
direct bank transfer to account nr. 99.55.210.14322.7 of BNU - Banco
Nacional Ultramarino, Lisboa. In this latter case, mandatorily specify
the reference "INESC-LISBOA 92" in the transfer, and a photo copy of
the bank document should accompany the registration form. No credit
cards accepted.


Deadlines

The number of participants is limited, so early registration at the
fees indicated above, is advised.  The summer time is a high season in
Estoril-Cascais. There will be a limited number of places secured at
hotels on a first-come-first-served basis.

Pre-registration deadline --- for DCSA and ERCIM students with their
DCSA managing nodes or ERCIM persons in charge of courses;
participants in CEC ESPRIT projects with the DG-XIII contact person
--- is March 31 (see addresses at the end).

Registrations beyond May 19 will still be accepted at the amount of
255,000 PTE, 1,700 US$ or 1,400 ECU and 195,000 PTE, 1,300 US$ or
1,100 ECU for full-time students. No refunds will be issued after May
30. In case of low participation levels or serious difficulty in
holding the course, the organizers reserve the right to cancel the
course at full reimbursement of paid fees.


=============================================================================
For Further Information (DCSA and/or ERCIM, ESPRIT DGXIII):



INESC (ERCIM, DCSA - courses)
**********
LISBOA'92
Paulo Verissimo
INESC - Instituto de Engenharia de Sistemas e Computadores
R. Alves Redol, 9
P- 1000 LISBOA
E-mail: lisboa92-org@inesc.pt


CWI - CENTRUM V. WISKUNDE EN INFOR. (ERCIM - courses)
********
Mr. Frans Snijders
P.O. Box 4079
1009 AB AMSTERDAM
The NEDERLANDS
Phone: (020) 5929333
Fax: (020) 5924199
E-mail:   franss@cwi.nl


GMD (ERCIM - courses)
*********
Mr. Igor Jaceniak
Postfach 1316
Schloss Birlingoven
D- 5205 ST. AUGUSTIN
tel.: +49-2241-142481)
e-mail: igor@gmdzi.gmd.de

INRIA (ERCIM - courses)
**********
Mme. Annick Theis-Viemont
Domaine de Voluceau, Rocquencourt - BP 105
78153 LE CHESNAY Cedex
FRANCE
Phone: +33-1-39635511
Fax: +33-1-39635330
E-mail: theis@nuri.inria.fr

Other ERCIM members:
====================

CNR (ERCIM)
*********
Dr. Fabrizio Grandoni
E-mail: fab@primula.iei.pi.cnr.it

FORTH - FOUND. OF RESEARCH AND TECH. (ERCIM)
********
Dr. C. Courcoubetis
E-mail: courcou@csi.forth.gr

RAL - RUTHERFORD APPLETON LABORATORY (ERCIM)
*********
Dr. Chris Wadsworth
E-mail: cpw@inf.rl.ac.uk

SINTEF Group (ERCIM)
*********
Prof. Odd Longva
Phone: Norway (07) 592600


DCSA Managing Nodes:
====================

(Please contact the respective managing node listed below, for
students coming from the following Associate Nodes: IEI Pisa, ITALTEL
Milan, APM Ltd Cambridge, U. of Coimbra, EPFL Lausanne, BULL-IMAG
Gieres, U. Stuttgart, Chorus, Chalmers U. Goteborg, ETSIT Madrid, U.
Cat. Louvain, City U., CTI Patras, Trinity C. Dublin, Rijksuniv.
Utrecht, Vrije U. Amsterdam)

INRIA/IRISA ROCQUENCOURT AND RENNES (DCSA)
Dr Michel Banatre
IRISA-INRIA
Campus de Beaulieu
Avenue du General Leclerc
35042 Rennes Cedex
FRANCE
Tel: +33-99-362000
Fax: +33-99-383832
Email: banatre@irisa.fr

LAAS-CNRS TOULOUSE (DCSA)
Dr Jean-Claude Laprie
LAAS-CNRS
7 Avenue du Colonel Roche
31077 Toulouse Cedex
FRANCE
Tel: +33-61-33-62-39
Fax: +33-61-33-64-11
Email: laprie@laas.laas.fr

UNIVERSITY of PISA (DCSA)
Professor Luca Simoncini
Istituto di Elettr. e Telecomun. Fac. di Ing.
Via Diotisalvi 2
56100 Pisa
ITALY
tel: +39 50 550100
fax: +39 50 500987
Email: simon@icnucevm.cnuce.cnr.it

UNIVERSITY of BOLOGNA  (DCSA)
Professor Ozalp Babaoglu
Dipartimento di Matematica
Universita di Bologna
Piazza di Porta San Donato, 5
40127 Bologna
Italy
Tel: +39-51-354-430
Fax:  +39-51-354-490
Email: ozalp@dm.unibo.it

UNIVERSITY OF CAMBRIDGE (DCSA)
Dr. I.M. Leslie
Computer Laboratory
New Museums Site
Pembroke Street
Cambridge CB2 3QG
UK
Tel: +44-223-334-658
Fax: +44-223-334-678
Email: iml@uk.ac.cam.cl

UNIVERSITY OF KAISERSLAUTERN  (DCSA)
Professor Juergen Nehmer
FB Informatik
Universitaet Kaiserslautern
Postfach 3049
D-6750 Kaiserslautern
GERMANY
Tel: +49-631-205-4020
Fax: +49-631-205-2803
Email: nehmer@informatik.uni-kl.de

UNIVERSITY OF NEWCASTLE UPON TYNE (DCSA)
Nick Cook
Computing Laboratory
University of Newcastle upon Tyne
Newcastle Upon Tyne NE1 7RU
UK
Tel: +44-91-222-8036
Fax: +44-91-222-8232
Email: Harry.Whitfield@newcastle.ac.uk

TECHNICAL UNIVERSITY OF VIENNA (DCSA)
Professor Hermann Kopetz
Institut fur Technische Informatik
Technische Universitat Wien
Treitlstrasse 3/182
A-1040 Wien
AUSTRIA
Tel: +43-222-58801-8180
Fax: +43-222-569-149
Email: hk@vmars.tuwien.ac.at

TWENTE UNIVERSITY (DCSA)
Professor Sape J. Mullender
Universiteit Twente
Vakgroep S.P.A.
Postbus 217
7500 AE Enschede
Netherlands
Tel: +31-53-89-3770
Fax: +31-53-356-531
Email: mullender@cs.utwente.nl


CEC - DG-XIII (ESPRIT)
Mr. Ulrich Boes
CEC - DG XIII A5
200 Rue de La Loi
BA 31 237
B - 1049 Brussels
Belgium
Tel. +32-2-236-8145
Fax: +32-2-236-8387
Email: ubo@dg13.cec.be



=============================================================================

Registration  Form

Please type or print:

Last name __________________________ First name __________________

Affiliation ____________________________________________________

Title ________________________________________________________

Address _____________________________________________

Telephone _________________________ E-mail _____________________

Are you a full-time student? __ no __ yes (please attach document of
certification)

Room  Reservation  Form

Category of room desired (approximate daily prices in Portuguese
Escudos including breakfast)(*):

___ hotel between 6,000-9,000 single, 8,000-11,000 double: (deposit: 22,000)

___ hotel between 11,000-15,000 single, 13,000-17,000 double: (deposit: 34,000)

___ hotel between 19,000 single, 21,000 double: (deposit: 42,000)


Type of room desired:   ___ Single    ___ Double

With whom will you be sharing a room (in case you know)? ____________

Sex:    ___ female     ___ male        Do you smoke?    ___ no     ___ yes

Arrival date: _______________ Departure date: _____________

Special requests or comments: ___________

Tuition: 	__________________
Room deposit: 	__________________

Total amount: 	__________________

* There are also less expensive alternatives, not so close to the
course site, can also be chosen: youth hostels, campings, or hostels
in typical Lisboa facing the station of the Estoril railway line. If
you are interested in one of these, please contact us, and we will
provide you with a list of choices and prices.


Please return preferably by April 19, 1992 to:

LISBOA'92
INESC - Instituto de Engenharia de Sistemas e Computadores
R. Alves Redol, 9
Apartado 10105
1017 LISBOA CODEX - PORTUGAL
e-mail: lisboa92-org@inesc.pt