[Om-announce] Announcement: USI-CMU Summe School on Dependable Computer Systems

CAV 2007 Announce cav2007_announce at avacs.org
Thu Apr 26 12:01:23 CEST 2007

** 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 ***                   *
     *                                                           *


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.


# 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 Pezze, 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

# Antonio Carzaniga, University of Lugano,

Topic: Content-based Networking


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.


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


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 arrangements.

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

More information about the Om-announce mailing list