University of Oregon

Oregon Programming Languages Summer School

Types, Semantics, and Logic

June 26-July 8, 2023

Jim's OPLSS Blog

 

When you figure out your travel plans, please email Jim with the information about when you will be arriving in Eugene or Portland and by what means.

Checking In

  1. Come to the University of Oregon — see References below

  2. Check In to your room

    Your first meal is dinner on June 25 with the cafeteria closing at 8pm. (Yes, I write dates in the confusing American way, so "6/19/23" or "June 19, 2023" means 19. June 2023. Similarly, "$12,000.50" means $12.000,50.) People generally arrive between noon and 3AM on June 25.

    The instructions on the website above place you on 15th & Agate. Walk East along 15th Street, past the Knight Law Center on the corner, past the Museum of Natural and Cultural History on your right, to the Global Scholars Hall.

    • If you arrive between 4pm and 8pm on June 25

      Enter the front door of the Global Scholars Hall. The check-in desk is to the right.

    • If you arrive before 4pm on June 25

      Enter the front door of the Global Scholars Hall. Wait in the lounge to your left until 4pm.

    • If you arrive after 8pm on June 25

      If you are arriving after hours, please email me in advance when you will be arriving on campus. If you will not have a working cell phone when you arrive on campus, let me know.

      Outside the front door of the Global Scholars Hall, call 541-346-9114, and a staff member will open the door and check you in.

Checking Out

Your last meal is lunch, Sunday 7/9. When you leave, please place your key, the access card and meal card back in the envelope you received upon check-in. Keep the University of Oregon lanyard.

If the front desk is open, give them the packet. If the front desk is closed, drop the packet in the slot on the wall next to the desk.

References

 
© University of Oregon, All rights reserved