The LICS organizers are pleased to acknowledge the generous support of Google, Microsoft Research,
CMU Computer Science Department, CMU School of Computer Science, CMU Philosophy Department, Cylab, and the Association for Symbolic Logic.


THURSDAY ONLY: today the LICS lunch is in Rangos again, but you must enter the University Center through the entrance near the football field, in order to pass through metal detectors. This is because of increased security associated with a political event in the same building. We apologize for the inconvenience.

Google is offering a tour of its research lab, located in the Collaborative Innovation Center, 4720 Forbes Avenue, on the edge of the CMU campus. This tour is designed for students interested in the research and job opportunities at Google. The tour will be from 5:30 to 6:30 on Thursday June 26. A sign-up sheet will be available in Giant Eagle lobby until 4pm on Thursday. And you can exploit Google technology by signing up online at this link.


Online registration is no longer available, since the deadlines have passed. Special arrangements must be made prior to the conference by email to the conference organizers, for on-site registration. If you have registered, but not yet paid, please contact the conference services staff to arrange payment before the conference. Please note that on registration you should have received an acknowledgement confirming that your registration succeeded.
  • Recreation passes covering the university facilities are available via registration for $17.25.
  • Campus parking permits for the East Campus Garage are available for $11 per day, payable with registration.

General Information

The School of Computer Science webpage Especially for Visitors is a source for information about Pittsburgh and about CMU, with links for transportation, local attractions, and local restaurants. General information about Pittsburgh can be found at the Pittsburgh Convention and Visitors Bureau.
NEW: here are two lists of local restaurants. The first is limited to Oakland, while the second also includes Shadyside.


Summer temperatures in Pittsburgh tend to be high -- in the 80's and 90's during daytime, dropping into the 70's at night. Humidity is also usually high, and there may be heavy rain showers and thunderstorms.
You can find more details at this site. The zipcode for campus is 15213.

Getting to Pittsburgh

The closest airport is Pittsburgh International Airport. To get to CMU or the hotels from the airport, there are several options for ground transportation, including taxi, limousine or shuttle, and bus. These all depart from just outside the baggage claim area. The 28X Airport Flyer bus stops on the corner of Forbes and Morewood, right next to campus, which would be convenient for those staying in a dorm room. Check the airport website or for details.
Car rental desks are located next to the baggage claim area at the airport.

Carnegie Mellon University is in the Oakland area of Pittsburgh. The neighborhood includes museums and libraries, and is adjacent to Schenley Park. Nearby on South Craig Street are several cafes, restaurants, and shops. Fifth Avenue and Forbes Avenue also offer a number of stores and restaurants within walking distance of hotels and campus. Slightly further away, accessible by a longer walk or a short cab ride, the Shadyside neighborhood has many up-scale restaurants and boutique shops.

Campus maps

We have prepared a campus map to show the locations of the most relevant university buildings, including lecture rooms, parking garage, dorms, and cafes.
  • LICS talks will be in McConomy Auditorium (University Center) on Tuesday morning, then in Giant Eagle Auditorium (Baker Hall A51) from Tuesday afternoon until Friday afternoon. LICS registration will be on Tuesday morning in the University Center.
  • CSF talks will be in the Adamson Wing (Baker Hall 136A) on Monday, Tuesday afternoon, and Wednesday; in McConomy Auditorium on Tuesday morning. CSF registration will be on Monday morning in Giant Eagle lobby, Baker Hall.
  • Workshops will be in various locations, as follows:
    • FCS-ARSPA-WITS: June 21-22, Newell Simon 1305
    • SecReT: June 22, Newell Simon 3305 (NOTE: new room assignment)
    • PCC: June 22, Newell Simon 1507
    • IMLA: June 23, Steinberg Auditorium, Baker Hall A53
    • LFMTP: June 23, Giant Eagle Auditorium, Baker Hall A51
    • FCC: June 26, Steinberg Auditorium, Baker Hall A53
    • ASA: June 26, Adamson Wing, Baker Hall 136A
    Registration for the weekend workshops (FCS-ARSPA-WITS, SecReT, PCC) is in Newell Simon Atrium.
    The easiest path to Newell Simon Hall is along Forbes Avenue, turning onto campus at the CIC Building (Collaborative Innovation Center), then turn left toward the construction site. The door to Newell Simon Hall will then be on your right. Directional signs and posters will be placed to help you.
    Registration for the Monday workshops (IMLA, LFMTP) is in Giant Eagle lobby. Entrance is at the end of Baker Hall, opposite Hunt Library, taking the first staircase down to the left and following the signs. There is also an entrance from the patio at the side of the building.
    Registration for the Thursday workshops (ASA, FCC) is in Giant Eagle lobby.
There is also a separate map showing the main walking paths to the most relevant buildings.


On campus

Housing is available on campus for very reasonable prices. We will be using rooms in West Wing, Resnik, Henderson, and Welch Houses (shown on the campus map). More information can be found at the university website.

  • Check-in and check-out will be available the Summer Housing Office in Donner Resident Hall. This office is attended 24 hours a day. Normal check-in time is 3:00PM EST and check-out time is 11:00AM EST. Room key cards are activated and de-activated based on these check-in and check-out times, unless special arrangements are made.
  • One key card will be issued upon arrival, to each person residing in campus housing. A replacement charge of $10 will be incurred for a repeatedly lost key card.
  • A telephone will be provided upon request at check-in (for a fee of $15 per week). Local and campus service is provided free of charge in all dorm rooms. Long distance calls can be made using a calling card or credit card. Personal phones may be used, although the university phone system requires a touch-tone phone.
  • Common areas, including common bathrooms, will be cleaned weekly by the University. The West Wing and Welch House bathrooms will be cleaned once per week and bed and bathroom linens changed.
  • The University will provide towels, washcloths, sheets, a pillow, a blanket, and a mattress pad.
  • Donner House is on Margaret Morrison Street, and is also a short walk from the University Center circular drop-off area (located between the Parking Garage and the University Center). Resnik and West Wing are also easy to reach from the circular drop-off area. Welch and Henderson Houses are on Margaret Morrison Street on the opposite side from Donner.

In a hotel

Blocks of rooms are being held until June 2 at local hotels:

  • Holiday Inn Select University Center
  • Wyndham Hotel University Place
If you prefer to stay in a hotel you must make your own reservation arrangements. For details see the hotel page.
Although the deadline has passed, you may still be able to reserve a hotel room at the LICS rate, depending on availability.

Things to Do and See

Here is a list of some of the local attractions within easy walking distance of the hotels and the CMU campus. You can find more information from the CMU website together with a CMU campus map, directions,
and a visitor parking map.

Near campus

Phipps Conservatory
One of the largest botanical conservatories in the US, opened in 1893 as a gift to Pittsburgh from industrialist and philanthropist Henry Phipps. The LICS/CSF Cocktail Reception will be held in the Tropical Rain Forest, on the evening of Tuesday, June 24.

Carnegie Museum of Art
A distinguished collection of art, film and video, including late nineteenth century American art, French Impressionist and Post-Impressionist paintings, and decorative arts from Europe and America. The Hall of Architecture contains the largest collection of plaster casts of architectural masterpieces in the US. The museum is currently exhibiting "Life on Mars: The 55th Carnegie International".

Carnegie Museum of Natural History
One of the largest natural history museums in the US, with more than 20 million specimens. Highlights include the Hall of Dinosaurs, a wonderful ornithology wing, an extensive Native American gallery, and the Hillman Hall of Minerals and Gems.

Carnegie Library
The Oakland library is the main branch of the Carnegie Libraries of Pittsburgh, "Free to the People", first opened in 1895.

Cathedral of Learning
A historic landmark, this "Gothic skyscraper" is the second-tallest education building in the world. The Cathedral contains the internationally renowned Nationality Classrooms.

Soldiers and Sailors Military Museum and Memorial
One of the country's largest museums dedicated to honoring and remembering our Veterans, with exhibits that range from the Civil War to the present day, including a mural based on the Gettysburg Address.

Schenley Park
Located right next to the CMU campus, not far from Baker Hall and Phipps Conservatory, the park offers pleasant walking trails and a variety of sports activities.

Many further attractions are reachable by car or bus, but not within walking range of campus.

Downtown Pittsburgh

Downtown Pittsburgh sits in the Golden Triangle formed by the junction of the Monongahela and Allegheny Rivers, which merge to form the Ohio at Point State Park. Mellon Arena (home of the Pittsburgh Penguins) is in the uptown area. Across the Mon from Point State Park, the North Side contains Heinz Field (home of the Pittsburgh Steelers) and PNC Park (home to the Pittsburgh Pirates).

Senator John Heinz History Center
Pittsburgh celebrates its 250th anniversary this year. The History Center is devoted to the history and heritage of our region. The Western Pennsylvania Sports Museum contains hundreds of artifacts related to Pittsburgh sports, including Franco Harris' "Immaculate Reception" shoes, and Mario Lemieux's hockey skates. The LICS dinner banquet will be held here in the evening of Thursday, June 26; the museum will be kept open for conference participants.

Warhol Museum
Located on the North Shore of Pittsburgh, one of the four Carnegie Museums of Pittsburgh. Opened in 1994, the Museum features extensive permanent collections of art and archives on one of the most influential American artists of the twentieth century.

Carnegie Science Center
Carnegie Science Center inspires and entertains by connecting science and technology with everyday life. The Science Center is located on Pittsburgh's North Shore along the banks of the Ohio River.

National Aviary
America’s only independent indoor non-profit bird zoo. Located in historic North Side’s West Park, the Aviary is home to 600+ birds of more than 200 species, many threatened or endangered in the wild.

The Mattress Factory
A museum of contemporary art presenting "art you can get into" — room-sized environments, created by in-residence artists. Located in the historic Mexican War Streets of Pittsburgh’s North Side.

Further afield

Pittsburgh Zoo
The Pittsburgh Zoo & PPG Aquarium is a 77-acre facility located five miles east of downtown Pittsburgh, home to thousands of animals representing hundreds of diverse species, some threatened or endangered. One of only six major zoo and aquarium combinations in the country.

Kennywood Amusement Park
Founded in 1898, often described as America's Finest Traditional Amusement Park, Kennywood is proud to be a National Historic Landmark. Located in West Mifflin, PA.

One of Frank Lloyd Wright's most acclaimed works, a supreme example of organic architecture, a design so well integrated with its site that buildings, furnishings, and surroundings form a unified, interrelated composition. The only great Wright house open to the public with its setting, original furnishings, and art work intact. Fallingwater is approximately 1.5 hours drive from Pittsburgh.