[Spaces are still available. Please register today! ]

Call for Participation:

Summer School on Language-Based Techniques
for Integrating with the External World

July 18-26, 2007
University of Oregon
Eugene, Oregon

Registration Deadline: March 31 (NOW EXTENDED: May 11), 2007

Registration requests received after May 11
will be evaluated on a space-available basis

http://www.cs.uoregon.edu/activities/summerschool/summer07/
e-mail: summerschool@cs.uoregon.edu

Program
-------

This Summer School will cover current research in language-based
techniques for integrating with the external world, ranging from
foundational materials on principles, logic and type systems, advanced...