We thank 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
Conference
June 19th to 22th, 2011
(inclusive)
Workshops
June 18th and 23th, 2011
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
POS'11:
web site
Abstract: April, 10th
Papers: April, 17th
SPA'11:
web site
Abstract: April, 22nd
Papers: April, 29th
CSPSAT'11:
web site
Abstract: April, 17th
Papers: April, 24th