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: summer-school-security@cs.uoregon.edu 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 summer-school-security@cs.uoregon.edu. Organizers ---------- Zena Ariola, University of Oregon David Walker, Princeton University Steve Zdancewic, University of Pennsylvania