Apply Visit Give

Oregon Programming Languages Summer School

Sponsors:

ACM SIGPLAN(http://www.sigplan.org)
The Charles Stark Draper Laboratory(http://www.draper.com)
Facebook(https://www.facebook.com)
Jane Street Capital(https://www.janestcapital.com)
National Science Foundation(http://www.nsf.gov)

June 20-July 2, 2016

Types, Logic, Semantics, and Verification

Organizers

Zena Ariola

University of Oregon

Robert Harper

Carnegie Mellon University

Dan Licata

Wesleyan University

Local Arrangements

Jim Allen

University of Oregon

Videographer

Edwin Farley

Brown University

Sponsors

UO is deeply committed to diversity and inclusion and affirms and actively promotes the rights of all individuals to equal opportunity in education and employment at this institution. UO does not tolerate any type of prohibited discrimination in any of its programs or activities, including employment. Further, it is required by Title IX and other applicable laws not to discriminate on the basis of sex. Questions regarding prohibited discrimination, including questions regarding Title IX, may be referred to the University of Oregon's Title IX Coordinator or to the Office for Civil Rights. Title IX Coordinator Penny Daugherty, at 541-346-3123 and titleixcoordinator@uoregon.edu, located at 677 E. 12th Ave., Eugene, OR 97403. U.S. Department of Education, Western Region, Office for Civil Rights, at 206-607-1600 and ocr.seattle@ed.gov.

University of Oregon is deeply committed to diversity and inclusion and affirms and actively promotes the rights of all individuals to equal opportunity in education and employment at this institution. University of Oregon does not tolerate any type of prohibited discrimination in any of its programs or activities, including employment. Further, it is required by Title IX and other applicable laws not to discriminate on the basis of sex. Questions regarding prohibited discrimination, including questions regarding Title IX, may be referred to the University of Oregon's Title IX Coordinator or to the Office for Civil Rights. Title IX Coordinator Penny Daugherty, at 541-346-3123 and titleixcoordinator@uoregon.edu, located at 677 E. 12th Ave., Eugene, OR 97403. U.S. Department of Education, Western Region, Office for Civil Rights, at 206-607-1600 and ocr.seattle@ed.gov.