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

[Space 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
techniques, and applications of these ideas in practice. 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:


Fault Tolerant Computing
- David August, Princeton, with Frances Perry and George Reis


Scalable Defect Detection
- Manuvir Das, Microsoft Corporation, with Zhe Yang and Daniel Wang


Typing Ad-hoc Data
- Kathleen Fisher, AT&T Research


Understanding Multilingual Software
- Jeff Foster, University of Maryland


Types for Safe C-Level Programming
- Dan Grossman, University of Washington


Statistical Debugging
- Ben Liblit, University of Wisconsin-Madison


XML and Web Application Programming
- Anders Moller, University of Aarhus


Programming Models for Distributed Computing
- Yannis Smaragdakis, University of Oregon


Web and Database Application Security
- Zhendong Su, University of California, Davis


Staged Programming
- Walid Taha, Rice University


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 22, students will have the option of participating in a
group activity in Oregon's countryside.


Registration
------------


The cost for registration is $300.00 (USD) for graduate students, and
$450.00 (USD) for other participants. Registration 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@cs.uoregon.edu All registration materials should be
delivered to the program by March 31, 2007. 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.


Housing
-------


The school will provide on-campus housing and meals. To share a room
with another student attending the school, the cost is $490.00 (USD)
per person. Housing rates are based on check-in Tuesday, July 17 and
check-out before noon on Friday, July 27. 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.


Organizers
----------


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

Return to the comp.compilers page.
Search the comp.compilers archives again.