University of Oregon

Oregon Programming Languages Summer School — July 22-August 3, 2013

Types, Logic, and Verification

July 18, 2013

Unfortunately, Greg Morrisett has been selected for grand-jury duty and won't be able to make it to the summer school. We've shuffled the schedule around, adding some additional lectures by the other faculty. See the schedule page.

Student Recreation Center passes will be available for purchase. The Rec Center allows you access to an indoor pool, tennis courts, weight room, and cardio equipment. The pool is only available during our lunch break; the other services are available 6AM-8PM, except during lectures. The passes will cost $25, and allow use of the facilities between Tuesday 7/23 and Friday, 8/2. On Monday 7/22, I will be accepting orders during the morning break. I will deliver the passes after Monday's last lecture for use Tuesday morning.

July 11, 2013
Some cultural notes about Oregon
  • Smoking — The University of Oregon is a Smoke and Tabacco Free University. There are STFU signs everywhere that say you will have to pay $30 each time someone sees you smoking on campus. Oregon law prohibits smoking inside buildings or within 50 feet of the entrance or air intake for a building anywhere in the state. So, if you want to smoke, you will have to walk three blocks from the lecture hall and smoke on the sidewalk where there are no buildings. If you are addicted to nicotine, an easier solution would be to buy a nicotine patch or gum. (From the map, you will notice that you can smoke when you are standing on the railroad tracks, but you cannot smoke when you are swimming in the river.)
  • Parking — during the school year, there is no significant parking on campus for students (except athletes) or staff, and none at all for visitors. During the summer, you may find this different. Most staff and students use public transport to get to campus, but that is free to them and not you. If you can avoid it, I would suggest not bringing an automobile.
  • Stores — the closest, full-featured store is about 4 blocks from our dorm. Although it is a normal store, previous OPLSSers have refered to it as "the beer store" because of the wide selection of microbrews. In fact, it has the normal amount of beers and wines for an Oregon store. It is illegal for stores in Eugene to give out plastic bags, and paper bags cost $0.05. So, it is better to bring a bag or backpack with you when you go shopping.
  • Alergies — My algeries are not active at the moment, but it is not uncommon for people with grass pollen alergies to need medication. You can bring your favorite alergy medication, or buy it at the store here. In particular, participants from Asia are usually susceptible to our North American pollens because of lack of prior exposure. You can see a pollen report before you get here.
  • Random Other Cultural Notes

    It is illegal in Oregon for people to own beaches or prevent members of the public from accessing a beach.

    Oregon invented the idea of returnable drinking containers in 1971

    Oregon is the only State in the US to have sponsored a Pot Party.

    Historically, Portland was the Crimper Captiol of the West Coast.

    Oregon was the first state to enact a Death with Dignity Law.

    Oregon houses the longest running Drag Show in the US. You might walk by it if you are taking a train or bus from Portland.

    Oregon pioneered the idea of a pristine water shed by making it illegal, since the 1890's, for people to go near Portland's Water Source

July 10, 2013
See the Detailed Check-In Instructions if you are staying in the dorms.
July 1, 2013
If you are attending the Coq Boot Camp, please check the Boot Camp Site to make sure you are ready to go when you get here.
June 29, 2013
When you get here, the building you will be staying in is:
1599 E. 15th Street
Eugene OR  97403
                       
However, do not send mail to that address. All university mail is given by the post office to the university mail room and distributed to university departments, who distribute it to the person to whom it is addressed. So, if you must have mail sent to you while you are here, you will have to address it to me:
Jim Allen
Dept of Computer and Info Science
1202 University of Oregon
Eugene, OR 97403-1202
                       
June 29, 2013
If you haven't already, you should visit the venue page. What it doesn't say is where you will be staying. We are in Smith and Sweetser or the Walton complex; however, your check-in instructions will vary depending on what time you will arrive. When you send me your travel plans, I will respond with check-in instructions. There is a map of housing on campus.

Points of interest on the housing map:

  • Walton Complex (green) - possibly where you will check in
  • LLC North (green) - possibly where you will check in
  • Carson Hall (green) - where we will be eating
  • Knight Law (grey) - where the lectures are

June 19, 2013
Be sure that you have Coq 8.4 installed on your laptop by July 20.
May 29, 2013
Things to bring to the summer school:
  • A laptop. The classroom has ethernet jacks at each seat, and direct connections do not require authentication. If you do not bring an ethernet cord, you can use the wireless connection, but expect some hassle with the wireless for non-UO participants — It may take me a day to get your guest account set up, and I have to renew it every week, after it gets disabled.
  • Typically, I tell everyone to bring allergy medication. The main agricultural product in the Willamette Valley is grass seed, so if you are allergic to grass pollen, expect to feel the effects while you are here. In particular, Asian students usually have bad reactions to the pollen in the air here because of lack of exposure in Asia. Some students travelling to the summerschool experience pollen allergies for the first time. You can see a complete pollen report at www.weather.com, zip code: 97403
  • Soap, shampoo and other personal grooming items. The dorm has laundry facilities. To use the facilities, obtain the laundry card and laundry soap from me, then pay me back $1.00 per load of laundry. Otherwise, you will have to spend $10 buying a laundry card for a single use.
  • For Foreign Participants: Also, if you are not from the Americas, bring a power converter for your laptop. US power outlets are not compatible with European power cords. If you come here without a power adapter, it may take you a number of phone calls and missed lectures to figure out where to get one, so it is probably easier to obtain one before coming.
  • You should not bring pillows, blankets or towels
April 17, 2013
To travel to Eugene, you can either take a plane to Portland (pdx) and then take a train or bus to Eugene, or you can fly directly to Eugene (eug). Once you have your flight, let me know when you will be arriving at pdx or eug, and I will put you into a group of other students who are also arriving at that time. This will allow you to share a taxi, or just generally be less likely to get lost.
I pride myself on giving good directions and getting no one lost, so help me to help you to help me.
The University has a directions site and so do I. It has driving directions and links to train, bus, etc. You can get there from the maps page.

Regardless of what time you arrive, I will have some way of getting your room keys to you.

April 16, 2013 — For European Participants:
You probably do not need a visa. Check the Visa Waiver Program website. If you do need a visa, it will be a tourist visa. (see US state dept website) However, you do need a passport. Also, be sure that you do NOT use the word "summerschool" when talking to INS officials. Since the summerschool gives no academic credit, the INS views it as an academic conference. There have been cases of people coming from innocuous European countries who have been held up at the border because they said "summerschool" and were then unable to produce documents showing that they were enrolled for university credit. So, be careful because the US government has a very limited semantic for the word "school".
April 16, 2013 — For Foreign Participants:
It is never too early to work on obtaining travel papers to the US. Since the summerschool does not give academic credit, you will have to obtain a tourist visa to the US. Notice that "study" is specifically prohibited on a tourist or vistor visa. Be careful not to tell the embassy or border officials that your are going to study in the US. Do not use the term summerschool. Although OPLSS has summerschool in the title, you should tell them you will be attending an academic conference that awards no academic credit.

When you go to the embassy for your interview, the main thing you will need to prove is that you are not a risk to emigrate to the United States. This may be difficult for a graduate student, since you don't have a high paying job. This is unofficial advice, but I would suggest taking letters from your family and academic advisors explaining why you would be unlikely to want to stay in the US. The decision is left up to the ambassador to your country and there is no appeal, so be prepared. Talk to other students from your country who have attended conferences in the US.

April 15, 2013
Check here later for updates before you arrive. I will be posting updates on registration deadlines, when you should expect to be notified, how to get here, and what to bring. If you applied (with a recommendation) before April 16, you should hear back from us by April 20. If not, please send me an email asking what happened to your application.
Contact: summerschool at cs.uoregon.edu Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy