[PVS] USI - CMU Summer School on Dependable Computer Systems

["Aliaksei Tsitovich" <aliaksei.tsitovich@xxxxxxxxxxx>]

CALL FOR PARTICIPATION

 Faculty of Informatics, University of Lugano
 School of Computer Science, Carnegie Mellon University
 --------------------------------------------------------------------------

 USI - CMU Summer School on Dependable Computer Systems
 http://www.inf.unisi.ch/summer_school/2008/
 June 30 – July 4, 2008
 University of Lugano, Switzerland

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

 The 2008 School brings together top experts who will present a series
 of lectures on their latest research efforts. The speakers for 2008
 are:

 David Garlan, Carnegie Mellon University
    Software Architecture for Dependable Systems.
 Thomas Gross, ETHZ and Carnegie Mellon University
    Performance-Portable Programming.
 Fernando Pedone, University of Lugano
    Abstractions for Building Reliable Distributed Systems
 Mauro Pezzè, University of Lugano and University of Milano-Bicocca
    Dynamic Analysis and Self Healing Software
 Bill Scherlis, Carnegie Mellon University
    Intent-based Software Assurance, with Focus on Concurrency
 Natasha Sharygina, University of Lugano and Carnegie Mellon University
    Concurrent Software Model Checking

 --------------------------------------------------------------------------
 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:
 June 2, 2008: Application
 June 6, 2008: Notification of Acceptance
 June 22, 2008: Registration

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

 All applications must be accompanied by a letter of recommendation
 from the applicant's advisor or manager.

 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.