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 — July 22-August 3, 2013

Types, Logic, Semantics, and Verification


Map of Eugene

This map shows the things that are relavant to OPLSS, things that are within walking distance, and things that are within biking distance.

Ongoing Events

These are events that are happening in Eugene that I consider accessible to OPLSS. Accessible may mean that it is within walking distance, or it is easily reachable by mass transit, or (like Sam Bond's) the venue is so chill and locally relevant that I think you can get out and walk a bit. In the case of the Cricket Quarter Finals, they are just there so you won't think Oregon is completely uncivilized. (When writing the preceeding sentence, I was moved to look up Morris Dancing, and not-so-surprised to find that there are a number of Morris Dancing groups in Oregon)

Daily Schedule

date Activity
Monday 6/16
Tuesday 6/17
Wednesday 6/18
Thursday 6/19
Friday 6/20
Saturday 6/21
Sunday 6/22
Monday 6/23
Tuesday 6/24
Wednesday 6/25
Thursday 6/26
Friday 6/27
Saturday 6/28
Sponsors
Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy