Carnegie Mellon Summer School in Logic and Formal Epistemology
This web page provides general information for students attending the summer school.
Travel
You can find information on travel to Pittsburgh on the Carnegie Mellon University transportation page. Other useful information can be accessed from the visitors page.
The cheapest way to get to Carnegie Mellon from the airport is to take the 28X airport flyer bus. It is inexpensive ($3.25), it leaves the airport every 30 minutes (departure times are posted at the airport bus stop), and it takes you right onto the Carnegie Mellon campus. The Carnegie Mellon stop is the little indentation across the street from the number 6 on the campus map. You then simply have to cross Forbes and walk along Morewood Avenue to get to New House. An alternative is to take a taxi from the airport, which should cost about $40 (plus a tip, for which 15% is customary in the US).
Facilities and accomodations
Students will share doubles in the Stever House dormitory, which is number 60 on the campus map. Sheets and towels will be provided. There is a shared, common kitchen on the first floor. More information can be found at the campus housing web site, and the associated FAQ list. Students may check in after 3 PM on Sunday, June 5, and need to check out by noon on Sunday, June 26.
Classes will be held in room A53 in BakerHall, which is number 2 on the campus map. The main Philosophy Department office is in suite 135 of Baker Hall.
Students will be able to buy meals at the at the University Center, at a number of restaurants near campus, or from the "trucks" along Margaret Morrison Avenue. You can read about the various dining options on campus here. We'll provide tips and recommendations when you arrive.
Students can purchase a $5 pass to use the gym and health facilities for a day at the equipment desk or information desk at the University Center. They can also purchase a weekly pass for $25 at the ID card office at the basement of Warner Hall.
Students will have guest accounts at Carnegie Mellon while here, and will be able to use campus kiosks and computer "clusters." Wireless laptop access is available from anywhere on campus.
It may be helpful to print out an image of the Carnegie Mellon campus using Google Maps. The satellite photos are remarkably clear. If you go to "5000 forbes avenue, oakland, pa" you will be centered on the bus stop. You can then easily find Stever House (the white-roofed building along Morewood Ave to the North) and Baker Hall (the long building running along Frew street).
According to Parking Services, you can park in the East Campus garage for $10 per day. Parking in that garage and the Morewood parking lot is free on weekends. You can also find parking on the street; there are residential areas to the north and east of New House.
Visa
If you are coming from abroad, a regular tourist visa should be sufficient. Because you are not enrolled as students at Carnegie Mellon (which would require you to pay tuition!), we cannot issue I20 visas. We have prepared a letter that you can show to customs officials to explain the situation. (You may face less resistance if you say you are coming to a "student workshop" instead of a "summer school.")
If you send David Danks (ddanks@cmu.edu) your full name, citizenship, and date of birth, he will send you a hardcopy and PDF version of the letter, on Carnegie Mellon letterhead. Nobody had trouble last year, but it can't hurt to have the letter along.
Arrival
We will be holding a welcome picnic / barbecue on Sunday evening, from 6-8, on the New House patio.
When you arrive on Sunday, you may check in as follows:
Schedule
Every day, there will be a morning session from 9:30-12, and an afternoon session from 2-4:30. These sessions can include lectures, problem sessions, presentations, discussion, individual and group work, tutorials, and even free time. We are also planning to hold a series of colloquia late Thursday afternoon. There will also be optional social and educational events on some evenings and weekends.
Summer School Staff
Directors: David Danks (ddanks@cmu.edu) and Teddy Seidenfeld (teddy@stat.cmu.edu)
Instructor for week 1: Teddy Seidenfeld (teddy@stat.cmu.edu)
Teaching assistant: Hailin Liu (hailinl@andrew.cmu.edu)
Instructor for week 2: Kevin Zollman (kzollman@andrew.cmu.edu)
Teaching assistant: Lizzie Silver (esilver1@andrew.cmu.edu)
Instructor for week 3: Kevin Kelly (kk3n@andrew.cmu.edu)
Teaching assistant: TBA
Participants
We had 80 applicants to the program, and admitted 26.