University of Oregon

Oregon Programming Languages Summer School

Types, Logic, and Formal Methods

June 22-July 3, 2026

Jim's OPLSS Blog

 

When you figure out your travel plans, please email me with the information about when you will be arriving in Eugene or Portland and by what means. I will tell you who else if arriving then.

Checking In

  1. Come to the University of Oregon

    Commonly, participants fly into Portland (PDX) and take the Amtrak train to Eugene (EUG) (see references below). You can arrange a flight into Eugene, but it is more expensive. Typically people get to campus at all hours. Arrangments are made if you arrive late at night, or early in the morning.

    If you fly into Portland, I will tell you who else is landing at that time, so you can take a train together.

    If you fly into Eugene, I will tell you who else is landing at that time, so you can take a taxi together. A taxi from the Eugene airport to campus is about as expensive as the train from Portland, and you can sing better songs on the train.

  2. I will fill the rest of this, including where on campus to check in, in on May 22, 2026

References

 
© University of Oregon, All rights reserved