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