-------------------------------------------------------------
LASER Summer School on Software Engineering
Software engineering for concurrent and real-time systems
Elba, Italy
September 11 - 17, 2005
http://se.inf.ethz.ch/laser
-------------------------------------------------------------
Call for Participation
SCOPE AND OBJECTIVES
Research in software engineering of concurrent and real-time systems is
currently making steady progress, too much of which remains unknown to
practictioners. The aim of the LASER school is to distribute the results
of that research to a wider audience and in turn to foster the
appearance of new ideas. The school is intended for both PhD students
and for professional software engineers and managers who want to benefit
from recent advances in concurrent and real-time software technology.
The LASER school is part of an effort to establish a Laboratory for
Applied Software Engineering Research. As the name suggests, the focus
is resolutely practical, although theory is welcome to establish solid
foundations.
The LASER school brings together six of the best experts in the field.
Each of them will present a series of six lectures on his or her latest
research efforts. The speakers for 2005 are: Jayadev Misra (University
of Texas at Austin), Laura K. Dillon (Michigan State University), Amir
Pnueli (New York University and Weizmann Institute of Science), Joseph
Sifakis (VERIMAG and University of Grenoble), Bertrand Meyer (ETH
Zurich) and Wolfgang Pree (University of Salzburg).
The school takes place in the wonderful setting of the Island of Elba,
off the coast of Tuscany, easily reachable through Pisa and Marina di
Campo airports. Along with an intensive scientific program, participants
will have time to enjoy the natural and cultural richness of this
history-laden jewel of the Mediterranean.
LECTURES
"A process-algebra for web computing"
by Jayadev Misra
"Szumo: A Compositional Contract Model for Safe Multi-threaded Applications"
by Laura K. Dillon
"Temporal Verification of Reactive Programs"
by Amir Pnueli
"Component-based Modeling of Real-time Systems"
by Joseph Sifakis
"Object technology for concurrent and real-time programs"
by Bertrand Meyer
"Transparent distribution of real-time software components based on
Logical Execution Time"
by Wolgang Pree
REGISTRATION
Registration is open until May 30th. The number of participants is
strictly limited to ensure quality interaction with the lecturers and
the rest of the audience; all applications must be accompanied by a
letter of recommendation from the applicant's supervisor or manager. A
small number of scholarships are available for participants with
insufficient institutional support.
How to apply?
Use the online registration form available on the LASER website
(http://se.inf.ethz.ch/laser). Deadline for the application is May 30, 2005.
Registration fee
The basic registration fee is EUR 850. Full-time PhD students are
entitled to a discounted price of EUR 500. The registration fee covers
participation in all lectures and other activities of the summer school,
course materials, and excursions.
Accommodation
The accommodation fee is EUR 680 (double occupancy) or EUR 840 (single
room). It includes eight nights in the Hotel Hermitage with breakfasts
and dinners (full board available for additional 160 EUR). Other
expenses such as drinks, telephone etc. will be charged directly by the
hotels. For extra night stays or accompanying persons (subject to
availability of rooms), please contact the school organizers.
Scholarships
A small number of scholarships are available for participants with
insufficient institutional support; they are primarily intended for
students and researchers from developing countries. Participants
applying for such scholarships will be requested to certify that their
institution cannot bear the costs. Each scholarship is EUR 800, covering
a waiver of the PhD student registration fee and EUR 300 towards the
double-occupancy accommodation fee.
WEBSITE AND CONTACT
For all additional information, please visit the website:
http://se.inf.ethz.ch/laser
You can also contact the school organizers at la***@se.inf.ethz.ch.
Best regards,
Volkan Arslan
