"MINI-SCHOOL on Parallel and Distributed Computing"
June 27 and 28, 1998 Perto Vallarta, Mexico
Organized by the Student Chapter of the Mexican Computer Science Society (SMCC) and associated to the
ACM PODC -SPAA ´98 Symposium that will be held in Puerto Vallarta, Mexico, june 28- july 2.
The Mini-School consists of three Tutorials imparted by top researchers in the fields of Parallel and Distributed Computing.
Registration fee: US$ 60.00 until May 31, after US$ 75.00 for three tutorials, for all participants.
The three Tutorials are:
Tutorial 1: Abstract Programming and Proofs for Distributed Systems by Nancy Lynch, MIT
Outline:
- Group Communication Services
- Static view-oriented group commmunication services
- Dynamic view-oriented group communication services
- Broadcast-convergecast services
- Dynamic configurations
- Other examples
- Language and Tool Support
- The IOA Language
- Validation tools: Theorem-provers, model-checkers and simulators
- Distributed code generation
Tutorial 2: Parallel Computing: Perspectives and Challenges by Calvin Lin, U. Texas at Austin
Outline:
- Motivation: Why parallelism?
- Perspective: A brief history of parallel computing
- Trends in architecture
- Trends in applications
- Accomplishments in languages and compilers
- Future Challenges:
- Issues of portability
- Challenges for languages, compilers and tools
Tutorial 3: Distributed Computing: The last five years, The next five years by Hagit Attiya, Technion
Outline:
This tutorial describes three current research trends that the speaker considers central:
- Better modeling of the underlying architecture; for example, new, refined complexity measures taking contention into account. These new models and measures better approximate the performance of algorithms on actual machines.
- Better understanding of the interface to the application programmer, capturing the desired behavior of middleware, with emphasis on what can be supported on heterogeneous systems.
- Development of a basic theory unifying diverse theoretical models,concentrating on what is computable in a distributed system, ignoring specific communication mechanisms.
The tutorial will present past achievements in these directions, and will outline where they could (or should) take us.
The tutorial schedule is as follows:
June 27, 1998, Saturday
---------------------
8:00 - 8:45 Registration
8:45 - 9:00 Presentation of the Mini-school
9:00 - 10:30 Tutorial 1, Part 1. Nancy Lynch, MIT
10:30 - 11:00 Break
11:00 - 12:30 Tutorial 1, Part 2. Nancy Lynch, MIT
12:30 - 14:30 Lunch
14:30 - 16:00 Tutorial 2, part 1. Calvin Lin, U. Texas at Austin
16:00 - 16:30 Break
16:30 - 18:00 Tutorial 2, part 2. Calvin Lin, U. Texas at Austin
June 28, 1998, Sunday
---------------------
9:00 - 10:30 Tutorial 3, Part 1. Hagit Attiya, Technion
10:30 - 11:00 Break
11:00 - 12:30 Tutorial 3, Part 2. Hagit Attiya, Technion
18:00 - 19:00 Poster Session for Student Projects.
For payment and suscription information:
Sociedad Mexicana de Ciencias de la Computacion (Mexican Computer Science Society),
Phone: (28) 18-13-02 y 18-56-62 Mexico
email: smcc@xalapa.lania.mx