[TYPES] Summer School on Software Security

[David Walker]

[Application Deadline Extended:  March 14th.  Apply Now!]

			Call for Participation

		  Summer School on Software Security

			   June 17-25, 2004
			 University of Oregon
			  Eugene, Oregon USA


      http://www.cs.uoregon.edu/activities/summerschool/summer04/
	    e-mail: summer-school-security at cs.uoregon.edu

Program
-------
				
This Summer School will cover current research in security of software
systems ranging from foundational materials on security principles,
logic and type systems to advanced techniques for ensuring mobile code
security using program analyses, proof-carrying code and program
monitoring tools.

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 thirty 80-minute lectures presented
by internationally recognized leaders in programming languages and
security research.  Topics include:

Access Control and Logic
- Martin Abadi, University of California, Santa Cruz

Program Monitoring
- Ulfar Erlingsson, Microsoft Research, Silicon Valley

Security and Society
- Ed Felten, Princeton University

Security via Type Qualifiers 
- Jeff Foster, University of Maryland

Typed Assembly Language
- Neal Glew, Intel Research

Network Security Architectures
- Carl Gunter, University of Pennsylvania

Proof-Carrying Code
- Peter Lee, Carnegie Mellon University

Information-Flow Security
- Francois Pottier, INRIA

Type Systems
- David Walker, Princeton University

Language-Based Security
- Steve Zdancewic, University of Pennsylvania

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
Sunday, June 20, 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 $410.00 (USD)
per person. Housing rates are based on check-in Wednesday, June 16 and
check-out before noon on Saturday, June 26. Some single rooms may be
available for an additional fee of $120.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.

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 at cs.uoregon.edu.


Organizers
----------

Organizing committee: David Walker and Steve Zdancewic

Scientific committee:
  Andrew Appel         (Princeton University),
  Zena M. Ariola       (University of Oregon),
  Andrew Gordon        (Microsoft Research, Cambridge),
  Carl Gunter          (University of Pennsylvania),
  Catherine Meadows    (Naval Research Laboratory),
  Francois Pottier     (INRIA),
  Frank Pfenning       (Carnegie Mellon University).

Sponsored by: ACM SIGPLAN