Summer School in Logic and Formal Epistemology

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 ($2.25), it leaves the airport every 20 minutes or so, 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 $35 (plus a tip, for which 15% is customary in the US).

If you are bringing a car to campus, parking is available in the East Campus Garage, labelled P5 on the campus map, for $8 per day; parking is free on evenings and weekends. For more information, see the parking services web page and the "pay as you park" flyer. The flyer claims that cars may not be left overnight, but we have been assured that this is allowed over the summer. It would not hurt to stop by the parking office to let them know you will be leaving your car.

Facilities and accomodations

Students will share doubles in the New House dormitory, which is number 96 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 11, and need to check out by noon on Saturday, July 1.

Classes will be held in room 1000 of Hamburg Hall, which is number 17 on the campus map. The main Philosophy Department office is in suite 135 of Baker Hall, which is number 3 on the campus map.

Students will be able to buy meals at the Resnik Dining Hall, at the University Center, at a number of restaurants near campus, or from the "trucks" along Margaret Morrison Avenue. They can also purchase passes to use the gym and health facilities for $5 per day or $15 per week at the information desk at the University Center.

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.

If you have installed Google Earth, it may be helpful to print out an image of the Carnegie Mellon campus. The satellite photos are remarkably clear. If you fly to "5000 forbes avenue, oakland, pa" you will be centered on the bus stop. If you turn on road names, you can easily find New House (the white-roofed building along Morewood Ave to the North), Hamburg Hall (the green-roofed building, across Forbes from the big parking lot), and Baker Hall (the long building running along Frew street).

Arrival

We will be holding a welcome picnic / barbecue on Sunday evening, from 6-8, on the patio next to the new wing of Baker Hall (on the Frew Street side of the building).

When you arrive on Sunday, you may check in as follows:

Before 3 PM, you must go to the Summer Housing office in Donner Hall, which is 62 on the campus map, to pick up your room key.
From 3-5 PM, you may go straight to New House, and check in there.
If you arrive between 5 and 8 PM, go straight to the picnic / barbecue in Baker Hall, where you can pick up your key from David Gray.
If you will be arriving later, please contact David Gray (degray@andrew.cmu.edu) to make arrangements to pick up your key.

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

Director: Jeremy Avigad (avigad@cmu.edu)

Instructor for week 1: David Danks (ddanks@cmu.edu)
Teaching assistant: Frederick Eberhardt (fde@andrew.cmu.edu)

Instructor for week 2: Wilfried Sieg (sieg@cmu.edu)
Teaching assistant: Tyler Gibson (tylerg@andrew.cmu.edu)

Instructor for week 3: Horacio Arlo-Costa (hcosta@andrew.cmu.edu)
Teaching assisant: Ed Dean (edean@andrew.cmu.edu)

Social coordinator and cruise director: David Gray (degray@andrew.cmu.edu)

Participants

Forty-one students have confirmed acceptance. The schools they are coming from include Bari, Belfast, Buffalo, Calvin College, Carnegie Mellon, Columbia, Cornell, Davidson, Hampshire College, Lewis and Clark, London School of Economics, McGill, Mount Holyoke, Pennsylvania State, Princeton, Radboud, Saint Johns, Simon Fraser, Swarthmore, Université Laval, University of California at Berkeley, University of Colorado at Boulder, University of Connecticut, University of Iceland, University of Illinois at Chicago, Universidad de Los Andes (Colombia), University of Maryland, University of Massachussetts, and University of Toronto.