V
Volkan Arslan
Sorry for multiple copies received
-------------------------------------------------------------
*** REGISTRATION DEADLINE: JUNE 20 ***
-------------------------------------------------------------
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 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 June 20. The number of participants is
strictly limited to ensure quality interaction with the lecturers and
the rest of the audience. 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 June 20,
2005.
Registration fee
Full-time PhD students are entitled to a discounted price of EUR 500
(EUR 450 for ETH/EPFL students). The basic registration fee for the
industry participants is EUR 850. The registration fee covers
participation in all lectures and other activities of the summer school,
course materials, and excursions.
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 (e-mail address removed).
Best regards,
Volkan Arslan
-------------------------------------------------------------
*** REGISTRATION DEADLINE: JUNE 20 ***
-------------------------------------------------------------
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 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 June 20. The number of participants is
strictly limited to ensure quality interaction with the lecturers and
the rest of the audience. 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 June 20,
2005.
Registration fee
Full-time PhD students are entitled to a discounted price of EUR 500
(EUR 450 for ETH/EPFL students). The basic registration fee for the
industry participants is EUR 850. The registration fee covers
participation in all lectures and other activities of the summer school,
course materials, and excursions.
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 (e-mail address removed).
Best regards,
Volkan Arslan