[Pl-seminar] summer school on types at Oregon

[Matthias Felleisen]

You may wish to check out the following summer school, in the US for a
change: 

  http://www.cs.uoregon.edu/activities/summerschool/

-- Matthias