Apply Visit Give

Oregon Programming Languages Summer School

Sponsors:

June 20-July 2, 2016

Types, Logic, Semantics, and Verification

Crater Lake
Click for weather forecast
Proxy Falls
John Day Fossil Beds
Three Sisters
Seal Rock
 
Seal Rock
Goodman Creek
Mount Pisgah

Where in the world is Oregon?
Where in Oregon is Eugene?
Where in Eugene is the University of Oregon?
Where in the Univeristy of Oregon is the Knight Law Center?
Where in the Knight Law Center is Room 110?
© University of Oregon Department of Computer and Information Science, 1202 University of Oregon, Eugene OR 97403-1202

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.