Leading researchers in the field of programming languages will come to the University of Oregon for the 11th annual Oregon Programming Languages Summer School, running July 22 to Aug. 3.
The school hosts the world's leading researchers in the field of programming languages for a series of tutorial style lectures on current research. The focus 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 lecture material ranges from foundations in semantics and type theory, to advanced program, verification techniques and 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 postdoctoral students and faculty.
- from UO Computer and Information Science