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 Accommodation and Registration

How to get to the Dormitory Complex? The address of the Baits Dormitory Complex is:
1230 Hubbard Ann Arbor,
MI 48109-2082.
To get your room key go to Baits 1 Community Center in Parker House (one of the buildings in the Baits complex). The desks are open M-Th 8am-8pm, F,S,Su 8am-5pm. Someone at the desk will be able to check you in. If you arrive after hours, look for instructions on the building/door on how to check-in (pick up the house phone and someone will let you in).

Important note:There is only one link to register and to book rooms on the campus, for the main conference and any of the associated workshops. If you want to book one of the dormitory rooms on the campus, you can only do it with your registration (i.e. at the same time).

About registration

The fee schedule for the main conference and associated workshops is as follows (in USD):

Early Registration
(before May 6, 2011)
Late Registration
(after May 6, 2011)
Regular Student Regular Student
Main Conference 525.00 425.00 625.00 525.00
POS'11 Workshop 100.00 50.00 100.00 50.00
CSPSAT'11 Workshop 100.00 50.00 100.00 50.00
SPA'11 Workshop 100.00 50.00 100.00 50.00
INCSAT'11 Workshop Cancelled Cancelled Cancelled Cancelled

Note 1: It is not possible to register separately for the conference and the workshops; you must register for the conference and your chosen workshops AT THE SAME TIME (but if you really want, you can register for the conference only, or for the workshops of your choice only). If you fail to do so your only recourse is on-site registration which may incur a late registration fee.

Note 2: conference registration includes:

A late registration fee of $100 will be charged after May 6, so please register early!

About accommodation

The conference and workshops will be held at the Computer Science and Engineering (CSE) building on the north campus of the University of Michigan.

Conference and workshop attendees have two options for accommodation:

We have made arrangements for special conference pricing with both the University of Michigan Housing Office and the Holiday Inn.

The cost for dormitory rooms is $41.65 (single occupancy) and $27.05 (double occupancy) plus a nominal administrative fee. Each room has private bathroom, but is otherwise quite Spartan. Guests are provided with clean linens and towels on check-in but the rooms are not serviced during their stay.

The cost for rooms at the Holiday Inn is $92 plus 11% tax.

Ready? Going to registration & accommodation

Follow this link to register and, optionally, to book a dormitory room on the campus.

If you don't want to book a room on the campus, you must register by following the above link (option "not interested" in the Baits Lodging Application section) and then, book a room in one of the hotels in Ann Arbor. You can make reservations at the Holiday Inn. In the later case, please make sure that the special rate of $92 is applied. If it is not, check that the group code "SA6" is properly entered. (Note: the $92 rate at the Holiday Inn is available only through this link. You may also be able to get this rate by reserving with Holiday Inn directly and using Group Code SA6).