Oregon Programming Languages Summer School

Types, Logic, Semantics, and Verification

University of Oregon — Eugene OR

June 15-27, 2015

Sponsors:

June 15-27, 2015

Types, Logic, Semantics, and Verification

Applications sent after the March 16 deadline will be put on a waiting list and notified as space becomes available. All grant money has been awarded.

To register for the Summer School, send your name, gender, and current academic status to the email below.

Email all registration materials to
"summerschool" at "cs.uoregon.edu"
Letters of reference should be sent directly to that address.

Materials should be received by March 16, 2015. Foreign participants should begin immediately to obtain travel documents.

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