University of Oregon — Department of Computer and Information Science

Oregon Programming Language Summer School

Types, Logic, Semantics, and Verification

Eugene OR

June 15-29, 2014

Sponsors:

ACM SIGPLAN(http://www.sigplan.org)
BAE Systems(http://www.baesystems.com/)
Jane Street Capital(http://www.janestcapital.com/)
Microsoft Research(http://research.microsoft.com)
National Science Foundation(http://www.nsf.gov/)

UO Home | Dept Index

Oregon Programming Languages Summer School — June 16-28, 2014

Types, Logic, Semantics, and Verification

Organizers

Amal Ahmed	Northeastern University
Greg Morrisett	Harvard University
Zena Ariola	University of Oregon

Local Arrangements

Jim Allen

University of Oregon

Sponsors

Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy