[ecoop-info] 3rd USI-CMU Summer School on Dependable Computer Systems

[Mauro Prevostini]

              ** Application Deadline: June 2, 2008 **

    *************************************************************
    *                                                           *
    *                   USI-CMU SUMMER SCHOOL ON                *
    *                 DEPENDABLE COMPUTER SYSTEMS               *
    *  ======================================================   *
    *                                                           *
    *                 http://www.inf.unisi.ch/dcs               *
    *                                                           *
    *                    University of Lugano                   *
    *                                                           *
    *         June 30 - July 4, 2008, Lugano, Switzerland       *
    *                                                           *
    *                    Organized jointly by:                  *
    *     Faculty of Informatics, University of Lugano          *
    *  School of Computer Science, Carnegie Mellon University   *
    *                                                           *
    *                    *** Announcement ***                   *
    *                                                           *
    *************************************************************



Objectives
----------
The third summer school on Dependable Computer Systems will be held on the
campus of the University of Lugano, Switzerland. The summer school is
intended for students, researchers, and professionals interested in the
construction of reliable computer systems. The focus of the school will be
on all aspects of computer systems construction: system design, analysis,
verification and implementation. The lectures will be given by
internationally renowned researchers from Carnegie Mellon University, School
of Computer Science, Pittsburgh, USA, and University of Lugano, Faculty of
Informatics, Switzerland who have made significant contributions to the 
field of computer systems. The summer school is a good opportunity for
quickly acquiring background knowledge in important areas both in theory and
practice of computer systems. The summer school is especially directed to
Ph.D. students who are conducting or intend to conduct research in the area
of computer systems. Industry professionals will also find it useful to
attend.


Lecturers
---------

# David Garlan, Carnegie Mellon University,
Topic: Software Architecture for Dependable Systems

# Thomas Gross, ETHZ and Carnegie Mellon University,
Topic: Performance-Portable Programming
 
# Fernando Pedone, University of Lugano,
Topic: Abstractions for Building Reliable Distributed Systems
 
# Mauro Pezzè, University of Lugano and University of Milano-Bicocca,
Topic: Dynamic Analysis and Self Healing Software
 
# Bill Scherlis, Carnegie Mellon University,
Topic: Intent-based Software Assurance, with Focus on Concurrency

# Natasha Sharygina, University of Lugano and Carnegie Mellon University,
Topic: Concurrent Software Model Checking
 


Venue
-----

The school takes place in Lugano, in the Italian part of 
Switzerland, easily reachable through Milan and Zurich airports. 
Accommodations have been arranged at nearby hotels.



Organisation
------------

The Summer School is jointly organized by:

* Faculty of Informatics, University of Lugano (USI)
* School of Computer Science, Carnegie Mellon University (CMU)

Advisory Board:

* Mehdi Jazayeri (USI)
* Willy Zwaenepoel (EPFL)
* Thomas Gross (ETHZ)

Steering Committee:

* Natasha Sharygina (USI and CMU)
* Jeannette Wing (CMU)




Important Dates
---------------
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.

The deadlines for Application, and Registration are as follows:

* Application                    June   2
* Notification of Acceptance     June   6
* Registration                   June  22



Registration
------------

The basic registration fee is CHF 1400 (EUR 880).
Full-time PhD students are entitled to a discounted price of CHF 850 (EUR
530).

The registration fee covers participation in all lectures and other
activities of the summer school, as well as course materials, welcome
reception, boat trip with dinner at the lake, hiking trip with farewell
dinner, all coffee breaks and lunches. The fee doesn't cover the hotel
arragements.

Scholarships to cover the registration fee is available for USI and CMU
members on a first-come, first-served basis.
A number of scholarships is available for participants with insufficient 
institutional support. A letter from the applicant's advisor stating that
there is no sufficient support is required to apply for the scholarship.



Further Information
-------------------
More detailed information available at the URL http://www.inf.unisi.ch/dcs