Fwd: [TYPES] Summer School on Software Security: Call for Participation

----- Forwarded message from Steve Zdancewic <[email protected]> -----
    Date: Wed, 14 Jan 2004 16:33:02 -0500
    From: Steve Zdancewic <[email protected]>
Reply-To: Steve Zdancewic <[email protected]>
 Subject: [TYPES] Summer School on Software Security: Call for Participation
      To: eatcs-it-iEixELS/[email protected], [email protected], [email protected],
[email protected], [email protected], [email protected],
[email protected], [email protected], [email protected],
[email protected], [email protected], [email protected],
sicstus-users-02ecni/[email protected], [email protected]

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

			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: [email protected]

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:

Security and Society
- Ed Felten, Princeton University

Logic and Access Control
- Martín Abadi, University of California, Santa Cruz

Type Systems
- David Walker, Princeton University

Proof-Carrying Code
- Peter Lee, Carnegie Mellon University

Typed Assembly Language
- Neal Glew, Intel Research

Information-Flow Security
- François Pottier, INRIA

Program Monitoring
- Úlfar Erlingsson, Microsoft Research, Silicon Valley

Type Qualifiers
- Jeff Foster, University of Maryland

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 [email protected]


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),
  François Pottier        (INRIA),
  Frank Pfenning  (Carnegie Mellon University).

Sponsored by: ACM SIGPLAN


----- End forwarded message -----