UO Home
|
Dept Index
Oregon Programming Languages Summer School — June 15-25, 2010
Logic, Languages, Compilation, and Verification
Speakers
Organizers
Participants
Curriculum
Robert Constable
Cornell University
Proofs-as-Processes: Reasoning about Concurrency in Computational Type Theory
Anupam Datta
Canegie Mellon University
Programming Language Methods for Compositional Security
Robert Harper
Canegie Mellon University
Type Theory Foundations
Xavier Leroy
INRIA
Proving a Compiler: Mechanized Verification of Program Transformations and Static Analyses
Conor McBride
University of Strathclyde
Dependently Typed Programming
Greg Morrisett
Harvard University
Ynot Programming
Frank Pfenning
Canegie Mellon University
Proof Theory Foundations
Benjamin Pierce
University of Pennsylvania
Software Foundations in Coq
Andrew Tolmach
Portland State University
Software Foundations in Coq
Sponsors
Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy