Types, Logic, Semantics, and Verification

University of Oregon — Eugene OR

June 15-27, 2015

Sponsors:

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

© University of Oregon Department of Computer and Information Science, 1202 University of Oregon, Eugene OR 97403-1202