[Fwd: [TYPES] Summer School on Reliable Computing: Call for Participation]

-------- Original Message --------
Subject: [TYPES] Summer School on Reliable Computing: Call for Participation
Date: Wed, 02 Mar 2005 15:27:48 -0500
From: Steve Zdancewic <[email protected]>

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]


			Call for Participation

		  Summer School on Reliable Computing

			   July 20-29, 2005
			 University of Oregon
			  Eugene, Oregon USA


		Registration Deadline: March 31, 2005.

  http://www.cs.uoregon.edu/research/summerschool/summer05/index.html
	    e-mail: [email protected]

Program
-------

This Summer School will cover current research in reliability of
software systems ranging from foundational materials on type systems,
program analyses, and model checking to advanced applications of the
techniques in practice.

Material will be presented at a tutorial level that will help graduate
students and researchers from academia or industry understand the
critical issues and open problems confronting the field. The course is
open to anyone interested. Prerequisites are an elementary knowledge
of logic and mathematics that is usually covered in undergraduate
classes on discrete mathematics. Some knowledge of programming
languages at the level provided by an undergraduate survey course will
also be expected. Our primary target group is PhD students. We also
expect attendance by faculty members who would like to conduct
research on this topic or introduce new courses at their universities.
The program consists of more than twenty-five 80-minute lectures
presented by internationally recognized leaders in programming
languages, model checking, and software reliability research.  Speakers
and their topics include:

* Counterexample-driven Refinement
   Thomas Ball     Microsoft Research

* Specifying and Checking Stateful Software Interfaces
   Manuel Fahndrich     Microsoft Research

* Checking Software Properties with Contracts
   Robby Findler     University of Chicago

* Domain-Specific Languages: For Fun and Profit
   Kathleen Fisher     AT&T Research

* Domain-Specific Languages: For Fun and Profit
   Kathleen Fisher     AT&T Research

* Improving Software Quality with Type Qualifiers
   Jeff Foster     University of Maryland

* Lightweight Analyses for Reliable Concurrency
   Stephen Freund     Williams College

* Type Systems: A Foundation for Reliable Computing
   Robert Harper     Carnegie Mellon University

* Program Verification by Lazy Abstraction
   Ranjit Jhala     University of California at San Diego

* An Introduction to Model Checking
   Orna Kupferman     Hebrew University, Jerusalem


Venue
-----

The summer school will be held at the University of Oregon, located in
the southern Willamette Valley city of Eugene, close to some of the
world's most spectacular beaches, mountains, lakes and forests.  On
the weekend, students will have the option of participating in a
group activity in Oregon's countryside.

Housing
-------

The school will provide on-campus housing and meals. To share a room
with another student attending the school, the cost is $450.00 (USD)
per person. Housing rates are based on check-in Tuesday, July 19 and
check-out before noon on Saturday, July 30. Some single rooms may be
available for an additional fee of $130.00 (USD). If you'd like a
single room, please indicate your choice and we will try to
accommodate you on a first-come/first-served basis.

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

The cost for registration is $175.00 (USD) for graduate students, and
$300.00 (USD) for other participants. There are a limited number of
grants available to fund part of the cost of student participation.
The registration deadline is March 31, 2005.

Additional information about the program, registration, venue, and
housing options is available on the web site.  Or, you may request
more information by e-mailing [email protected]


Organizers
----------

Zena Ariola, University of Oregon
David Walker, Princeton University
Steve Zdancewic, University of Pennsylvania