Apply
Visit
Give
Oregon Programming Languages Summer School
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/)
Jane Street Capital(http://www.janestcapital.com/)
Microsoft Research(http://research.microsoft.com)
National Science Foundation(http://www.nsf.gov/)
June 15-27, 2015
Types, Logic, Semantics, and Verification
Speakers
Organizers
Curriculum
Schedule
Participants
Organizers
Greg Morrisett
Harvard University
Robert Harper
Carnegie Mellon University
Zena Ariola
University of Oregon
Local Arrangements
Jim Allen
University of Oregon
Sponsors
© University of Oregon Department of Computer and Information Science, 1202 University of Oregon, Eugene OR 97403-1202
