University of Oregon

Oregon Programming Languages Summer School — July 22-August 3, 2013

Types, Logic, and Verification

Amal Ahmed
Northeastern University
Robert Harper
Carnegie Mellon University
Dan Licata
Carnegie Mellon University and Institute for Advanced Study
Greg Morrisett
Harvard University
Simon Peyton-Jones
Microsoft Research
Frank Pfenning
Carnegie Mellon University
Andrew Tolmach
Portland State University
Stephanie Weirich
University of Pennsylvania
Steve Zdancewic
University of Pennsylvania
Sponsors
Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy