Our sponsors


June 29, 2011 Old pages moved, Photos added

June 13, 2011 Additional directions to housing added

June 2, 2011 lodging at Baits is full

May 3, 2011 Conference Schedule added

Apr 15, 2011 Final list of accepted papers added

Apr 4, 2011 Accommodation / Registration Opened

Feb 17,2011: MaxSAT Evaluation Deadline Added

Feb 16, 2011: Extended Deadline for paper submissions (21st instead of 18th, Feb).

Dec 20, 2010: Final CFP Added

Sep 24, 2010: Preliminary CFP Added

Aug 31, 2010: Web Site opens


Workshops proposals
Dec. 17, 2010

Abstract submission
Feb. 11, 2011

Paper submission
Feb. 21, 2011

Author notification
Mar. 20, 2011

Final version
Apr. 8, 2011

June 19th to 22th, 2011

June 18th and 23th, 2011

Affiliated Events Main Dates

SAT Competition
Web site
Bench. Submission:
Feb. 13, 2011
Solver Submission:
(ext.) March 2, 2011

PB Evaluation
Web Site
Solver/Benchs. Subm.:
March 20, 2011

MAX-SAT Evaluation
Web Site
Solver Submission:
March 25, 2011

Affiliated Workshops Main Dates

web site
Abstract: April, 10th
Papers: April, 17th

web site
Abstract: April, 22nd
Papers: April, 29th

web site
Abstract: April, 17th
Papers: April, 24th

SAT/SMT Solver Summer School 2011

The SAT 2011 conference is held just a few days after the SAT/SMT Solver Summer School 2011 (from June 12th to June 17th), located at MIT, Cambridge, USA.

Conference Venue

Updated (June, 13rd) directions to get to the Dormitory Complex: To reach the housing units for SAT, follow these directions:

SAT 2011 and associated workshops will be hosted at the Computer Science and Engineering (CSE) building on the University of Michigan’s North Campus.

CSE is within easy walking distance from dormitory accommodations, and is also within a short driving distance to the Holiday Inn. Convenient bus service is available for quick transport to downtown Ann Arbor.

About Ann Arbor, Michigan

The city of Ann Arbor is small enough to bike across in an afternoon yet diverse enough to attract top performing artists from throughout the world and support a host of gourmet restaurants. Ann Arbor offers all of the advantages of big city living – museums, live theatre, expansive parks, extensive shopping and a diverse population – all combining for a very cosmopolitan atmosphere.

What to do? The choices are many; savor the sights and smells of a farmer’s market, listen to an impromptu jazz concert or lecture. Visit a museum or an antique shop. Browse in some of the finest bookstores in the world. Shop in unique art galleries and boutiques, or sip cappuccino and people-watch at an outdoor café. There is plenty to see and do – whether you’re here for just a day or an entire week. Golf, hike, jog, canoe, swim or bike – recreational opportunities are abundant throughout the area.

Best of all, however, is the small town appeal with the advantages of friendliness, accessibility, and easy lifestyle. You are invited to explore the many attractions, which make this community one of the Midwest’s most popular visitor destinations.

About the University of Michigan

The University of Michigan is one of a small number of public universities consistently ranked among the top ten universities in the United States. Over 36,000 undergraduates and graduate students are enrolled on the Ann Arbor campus in a wide variety of fields, including law, medicine, engineering, public health and music.

Founded in 1817, the school moved from Detroit to Ann Arbor in 1837. There are a total of 18 schools and colleges on the Ann Arbor campus, plus campuses in Flint and Dearborn, Michigan.

The University of Michigan has the largest research program of any university in the nation in the areas of space physics, neuroscience, biophysics, and population studies.


When it’s time to dine, the question, ”Where do you want to eat tonight?” opens the door to a multitude of pleasant possibilities. From a lively brew pub to the classic cuisine of an award-winning Italian bistro, the selection is abundant. Ann Arbor has over 200 restaurants offering a tremendous variety of unique dining possibilities in all price ranges. A deep-dish pizza or nouvelle cuisine, vegetarian feast or a good-as-New York deli sandwich, Midwest gourmet fare, or authentic regional Chinese cuisine, are easily found. More than 20 nationalities are well represented including the cuisine of Japan, Korea, India, Lebanon, Ethiopia, Thailand, China, France, Italy, Greece, and Germany. The bottom line: there are excellent dining choices for every taste and budget.

Transportation Options

Ground transportation is available from Metro Cars or Metro Cab located in the baggage claim area of the domestic terminals. They are the official curbside transportation provider at Detroit Metropolitan Airport. Delegates arriving at the international terminal should proceed through Customs and can also use the Metro Cars or Metro Cab. Reservations can be made at or by calling 1-800-206-0809. The University of Michigan is located in Ann Arbor, Michigan roughly 30 minutes from the Detroit Airport (DTW).

Below are some other transportation options.

Top of the Park

The Ann Arbor Summer Festival is an exhilarating celebration of performing arts, outdoor entertainment, and community spirit. A boutique music and arts festival, the three-week gathering offers dozens of performances, activities, exhibitions, and screenings representative of the best in music, dance, comedy, film, street arts and family entertainment. The 2011 festival runs June 17-July 10.

The Ann Arbor Summer Festival’s mission is to present a world-class celebration of arts and entertainment that enriches the cultural, economic, and social vitality of the region.

Founded by Eugene Power, and established as an equal partnership between the City of Ann Arbor and the University of Michigan, the Ann Arbor Summer Festival presented its first full season in 1984. Early festival seasons emphasized classical music and theater, but have since become more popular and diverse in nature, encompassing a breadth of performance genres. What began with a vision for a summer cultural event that would connect audiences with world-class artists, bring community together, and showcase the city and state as a major arts destination, now flourishes as one of the leading performing arts festivals in the country.

Today, the Ann Arbor Summer Festival produces two concurrent programs, one indoor and one outdoor, at various venues and spaces across the University of Michigan campus and in downtown Ann Arbor. The indoor Mainstage series includes ticketed performances of world-class music, dance, theater and comedy. The outdoor program, Top of the Park, is held along a beautiful campus green and offers admission-free concerts, movies under the stars, open-air spectacles and unique family attractions.