2013 Oregon Programming Languages Summer School: Types, Logic, and Verification
Now in its 11th year, the Oregon Programming Languages Summer School hosts the world's leading researchers in the field of programming languages for a series of tutorial style lectures on current research in this important area. The lecture material ranges from foundations in semantics and type theory, to advanced program, verification techniques, to experiences with applications of the theory. The primary target of these lectures is first or second-year graduate students, but the audience also includes advanced undergraduates, as well as postdocs and faculty.
This year, the focus of the Summer School is "Types, Logic, and Verification," an investigation of the interplay between theory and practice in program verification. Featured speakers include Amal Ahmed, Northeastern University; Robert Harper, Carnegie Mellon University; Dan Licata, CMU; Greg Morrisett, Harvard University; Simon Peyton-Jones, Microsoft Research; Frank Pfenning, CMU; Andrew Tolmach, Portland State; Stephanie Weirich and Steve Zdancewic, both from the University of Pennsylvania.
The 2013 Oregon Programming Languages Summer School will be held July 22 - August 3, 2012 at the University of Oregon. For more information, visit the Summer School website. Details about costs, scholarships, and registration will be available soon.