SAT 2013
16th International Conference on Theory and Applications of Satisfiability Testing

July 8-12, 2013   ·   Helsinki, Finland

Important Dates

All deadlines are at 23:59 UTC-12 ("anywhere in the world").

Abstract submission deadline February 1, 2013
Paper submission deadline February 8, 2013 February 13, 2013
Author response period begins March 18, lasts 72 hours
Acceptance notifications April 3, 2013
Final versions of accepted papers due April 22, 2013
Early registration deadline May 27
Late registration deadline June 21
On-site registration deadline July 8
Workshops July 8-9 (morning), 2013
Main Conference  July 9 (afternoon) - 12, 2013