University of Oregon — Department of Computer and Information Science

Oregon Programming Language Summer School

Types, Logic, Semantics, and Verification

Eugene OR

June 15-29, 2014

Sponsors:

Oregon Programming Languages Summer School — June 16-28, 2014

Types, Logic, Semantics, and Verification

REGISTRATION DEADLINE: May 2, 2014

To register for the Summer School, send your name, gender, current academic status and whether you wish to attend the associated coq boot camp 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 May 2, 2014. Foreign participants should begin immediately to obtain travel documents.

Sponsors
Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy