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

[Mauro Prevostini]

              ** Application Deadline: May 20, 2007 **


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




Objectives
----------

The second 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 the 
University of Lugano, Informatics Department, 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
---------

# Stephen Brookes, Carnegie Mellon University,
Topic: Concurrent Separation Logic: Reasoning About Parallel Programs with
Shared Mutable State

# Edmund Clarke, Carnegie Mellon University,
Topic: Recent Advances in Model Checking
 
# Mauro Pezzè, University of Milano Bicocca and University of Lugano,
Topic: Dynamic Analysis and Self Healing Software
 
# Bill Scherlis, Carnegie Mellon University,
Topic: Prospects for Intent-based Software Assurance
 
# Natasha Sharygina, University of Lugano and Carnegie Mellon University,
Topic: Software Verification
 



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)

Advising 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                    May   20
* Notification of Acceptance     May   31
* Registration                   June  15




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

The basic registration fee is CHF 1400 (EUR 860).
Full-time PhD students are entitled to a discounted price of CHF 850 (EUR
520).
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 school 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