LASER 2005 Summer School - Software engineering for concurrent and real-time systems
- From: Volkan Arslan <Volkan_Arslan@xxxxxxx>
- Date: Mon, 23 May 2005 19:51:11 +0200
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, 2005http://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 laser@xxxxxxxxxxxxxxx
Best regards, Volkan Arslan .
- Prev by Date: Re: Lahman, how ya doing?
- Next by Date: Re: UML: Associations between classes and packages
- Previous by thread: Re: Types of constructors
- Next by thread: looking4 Visual Paradigm 2.2
- Index(es):
Relevant Pages
|
