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

[Mitchell Wand]

Thought this might be of interest...

------- start of forwarded message (RFC 934 encapsulation) -------
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
Return-Path: <types-list-bounces+wand=ccs.neu.edu at lists.seas.upenn.edu>
Delivered-To: wand at ccs.neu.edu
Organization: University of Pennsylvania
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
	rv:1.5) Gecko/20031007
Precedence: list
List-Id: TYPES forum  <types-list.lists.seas.upenn.edu>
List-Unsubscribe: <http://lists.seas.upenn.edu/mailman/listinfo/types-list>,
	<mailto:types-list-request at lists.seas.upenn.edu?subject=unsubscribe>
List-Archive: <http://lists.seas.upenn.edu/pipermail/types-list>
List-Post: <mailto:types-list at lists.seas.upenn.edu>
List-Help: <mailto:types-list-request at lists.seas.upenn.edu?subject=help>
List-Subscribe: <http://lists.seas.upenn.edu/mailman/listinfo/types-list>,
	<mailto:types-list-request at lists.seas.upenn.edu?subject=subscribe>
Errors-To: types-list-bounces+wand=ccs.neu.edu at lists.seas.upenn.edu
From: Steve Zdancewic <stevez at cis.upenn.edu>
Sender: types-list-bounces+wand=ccs.neu.edu at lists.seas.upenn.edu
To: eatcs-it at cs.unibo.it, eacsl at dimi.uniud.it,
	kgs at logic.tuwien.ac.at, lprolog at cs.umn.edu, mercury-ads at cs.mu.oz.au,
	nl-kr at cs.rpi.edu, nuprllist at cs.cornell.edu,
	plt-scheme at fast.cs.utah.edu, prolog-vendors at sics.se, pvs at csl.sri.com,
	rewriting at ens-lyon.fr, rrrs-authors at zurich.csail.mit.edu,
	sicstus-users at sics.se, types at cis.upenn.edu
Cc: 
Subject: [TYPES] Summer School on Software Security: Call for Participation
Date: Wed, 14 Jan 2004 16:33:02 -0500

[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: 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:

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

Sponsored by: ACM SIGPLAN

------- end -------