USI-CMU Summer School on Dependable Computer Systems

** Application Deadline: May 20, 2007 **

USI-CMU SUMMER SCHOOL ON
DEPENDABLE COMPUTER SYSTEMS

http://www.inf.unisi.ch/dcs

USI Università della Svizzera italiana

9-13 July 2007, Lugano, Switzerland

Organized jointly by:
Faculty of Informatics, USI Università della Svizzera italiana
School of Computer Science, Carnegie Mellon University

Objectives
----------
The second summer school on Dependable Computer Systems will
be held on the campus of the USI Università della Svizzera italiana, 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
USI Università della Svizzera italiana, 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 USI Università della Svizzera italiana,
Topic: Dynamic Analysis and Self Healing Software

# Bill Scherlis, Carnegie Mellon University,
Topic: Prospects for Intent-based Software Assurance

# Natasha Sharygina, USI Università della Svizzera italiana 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, USI Università della Svizzera italiana (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