[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
This year's Oregon PL Summer School will take place from the 16th to the 28th of July. Registration deadline is April 16th. Full information on registration and scholarships an be found here: http://www.cs.uoregon.edu/Activities/summerschool The school has a long and successful tradition (sponsored by the NSF, ACM SIGPLAN, and industry). It covers current research in the theory and practice of programming languages. Material is 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. Prerequisites are an elementary knowledge of logic and mathematics, as covered in undergraduate classes on discrete mathematics, and some knowledge of programming languages at the level of an undergraduate survey course. This year's speakers and topics include: Logical relations Amal Ahmed, Northeastern University Category theory foundations Steve Awodey, Carnegie Mellon University Proofs as processes Robert Constable, Cornell University Polarization and focalization Pierre-Louis Curien, CNRS - Paris 7 University - INRIA Type theory foundations Robert Harper, Carnegie Mellon University Monads and all that John Hughes, Chalmers University and Quviq Compiler verification Xavier Leroy, INRIA Language-based security Andrew Myers, Cornell University Proof theory foundations Frank Pfenning, Carnegie Mellon University Software foundations in Coq Benjamin Pierce, University of Pennsylvania We hope you can join us for this excellent program! Zena Ariola Robert Constable Benjamin Pierce OPLSS 2012 organizers