17th International Conference on Theory and Applications of Satisfiability Testing

July 14-17, 2014   ·   Vienna, Austria

Important Dates

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

Abstract submission deadline: January 24, 2014
Paper submission deadline: January 31, 2014
 
Author response period: March 17-20, 2014
Author notification:March 31, 2014
Camera-ready versions of papers due:April 17, 2014
Early registration deadline:May 30, 2014
Regular registration deadline:June 30, 2014
 
Pre-conference workshops:July 12/13, 2014
Main conference:July 14-17, 2014
Post-conference workshops:July 17/18, 2014