From the Fundamental Lemma to Discrete Geometry, to Formal Verification

A conference in honour of Thomas C. Hales on the occasion of his 60th birthday

University of Pittsburgh, June 18-22, 2018



Travel and Venue

Accommodation

We have negotiated special rates with the following hotels. Please use the link below to make your reservation, or contact the hotel directly and mention the Hales60 conference organized by the Department of Mathematics of the University of Pittsburgh. The listed rates are per night and include tax. All hotels offer a free shuttle service to campus.

Residence Inn by Marriott Pittsburgh University/Medical Center
3896 Bigelow Blvd, Pittsburgh, PA 15213
Phone: 412-621-2200.
Rate: 114.00 USD. Valid until: May 27, 2018.
Parking rate: free.
Distance to campus: 0.8mi.

Hampton Inn Pittsburgh University/Medical Center
3315 Hamlet St, Pittsburgh, PA 15213
Phone: 412-681-1000.
Rate: 141.36 USD. Valid until: June 3, 2018.
Parking rate: free.
Distance to campus: 1.1mi.

Hilton Garden Inn Pittsburgh University Place
3454 Forbes Ave, Pittsburgh, PA 15213
Phone: 412-683-2040.
Rate: 164.16 USD. Valid until: May 21, 2018.
Parking rate: 20.00 USD.
Distance to campus: 0.7mi.

Wyndham Pittsburgh University Center
100 Lytton Ave, Pittsburgh, PA 15213
Phone: 412-682-6200.
Rate: 169.86 USD. Valid until: May 29, 2018.
Parking: 14.00 USD.
Distance to campus: 0.3mi.

Family House University Place
116 Thackeray Ave, Pgh, PA 15213
Phone: 412-647-7777.
Rate: 68.00 USD. Valid until: May 31, 2018.
Check-in must be done before 9:00PM.
Distance to campus: 0.0mi.


Other options


Quality Inn University Center
3401 Blvd of the Allies, Pittsburgh, PA 15213
Phone: 412-683-6100.
Distance to campus: 0.8mi.

Conference Venue

Auditorium G23, Parran Hall (Graduate School of Public Health), 130 De Soto St.

Banquet Venue

Frick Fine Arts Cloister, 650 Schenley Drive.

Travel Information

You can reach the University of Pittsburgh campus from the Pittsburgh International Airport by either taxi or public transportation.

By bus: The 28X Airport Flyer provides service between the Pittsburgh International Airport and the University of Pittsburgh. The cash fare for the bus is 2.75 USD. Exact change is required when paying your fare as the operators do not carry change. Fares are paid when boarding. The bus leaves approximately every 30 minutes from 4:30AM-12AM and takes about 1 hour to get from the airport to campus. You can catch the bus outside of Door 6 in the baggage claim area. The relevant stop on the University of Pittsburgh campus is Forbes Avenue at Schenley Drive. For the full schedule and more information check the PortAuthority web site.

By taxi: Taxis can be found outside the baggage claim area. Uber and Lyft are also authorized to pick up and drop off passengers at Pittsburgh International Airport. Cab fares run around 50 USD and will take approximately 30 minutes (both depending on traffic). Uber and Lyft should cost about 30 USD. SuperShuttle is also providing service at Pittsburgh International Airport. The fare should run about 25 USD.

All the relevant locations are marked on the map below.