[PRL] Fwd: [TYPES/announce] Summer School on Language-Based Techniques for Concurrent and Distributed Computing

[Mitchell Wand]

---------- Forwarded message ----------
From: Jeff Foster <jfoster at cs.umd.edu>
Date: Feb 5, 2006 3:36 PM
Subject: [TYPES/announce] Summer School on Language-Based Techniques for
Concurrent and Distributed Computing
To: types-announce at lists.seas.upenn.edu

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                        Call for Participation

                  Summer School on Language-Based Techniques
                     for Concurrent and Distributed Software

                           July 12-21, 2006
                         University of Oregon
                          Eugene, Oregon USA

        Registration Deadline:  March 15, 2006.


       http://www.cs.uoregon.edu/activities/summerschool/summer06/
            e-mail: summerschool at cs.uoregon.edu

Program
-------

This Summer School will cover current research in language-based
techniques for concurrent and distributed software, ranging from
foundational materials on sprinciples, logic and type systems to
advanced techniques for analysis of concurrent software to the
application of these ideas to practical systems.

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:

Static Analysis for Concurrency
- Cormac Flanagan, University of California, Santa Cruz

Design and Implementation of Concurrent Systems
- Matthew Flatt, University of Utah

Concurrency in Practice for C
- Jeff Foster, University of Maryland, College Park

Atomicity:  Synchronization via Explicit Software Transactions
- Dan Grossman, University of Washington

Language-Based Techniques for Distributed Systems
- Robert Harper, Carnegie Mellon University

Making Concurrent Software Safer
- Michael Hicks, University of Maryland, College Park

Language Design for Concurrency
- Charles Leiserson, Massachusetts Institute of Technology

Software Model Checking
- Shaz Qadeer, Microsoft Research

Type-Safe and Version-Safe Distributed Programming
- Peter Sewell, University of Cambridge

Architectures for Concurrent Systems
- Sandhya Dwarkadas, University of Rochester

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, July 16, 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 $460.00 (USD)
per person. Housing rates are based on check-in Wednesday, July 12 and
check-out before noon on Saturday, July 22. 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 $200.00 (USD) for graduate students, and
$300.00 (USD) for other participants. Reigstration must be paid upon
acceptance to the summer school, and is non-refundable. There are a
limited number of grants available to fund part of the cost of student
participation.  If you are a graduate student and want to apply for
grant money to cover your expenses, please also include a statement of
your needs with your registration.

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

To register for the Summer School, send a CV that includes a short
description of your educational background and one letter of
reference, unless you have already been granted a Ph.D. Please include
your name, address and current academic status.

Send all registration materials to summerschool at cs.uoregon.edu

All registration materials should be delivered to the program by March
15, 2006. Materials received after the closing date will be evaluated
on a space available basis. Non U.S. citizens should begin immediately
to obtain travel documents.


Organizers
----------

Organizing committee: Jeff Foster, Dan Grossman, and Zena Ariola

Sponsors
--------

ACM SIGPLAN
-------------- next part --------------
HTML attachment scrubbed and removed