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/)
