SAT 2010 - Thirteenth International Conference on
Theory and Applications of Satisfiability Testing

July 11—July 14, 2010, Edinburgh, Scotland, UK

Important Dates SAT 2010

Regarding paper submission:

• February 1, 2010 Abstract Submission
• February 8, 2010 Paper Submission
• March 15, 2010 Author Notification
• April 23, 2010 Final Version

Please consult the FLoC'10 web page for local information and registration.

Conference plan:

(To be updated)

• Home
• Programme
• Information
• Important Dates
• Invited Speakers
• Accepted Papers
• Paper Submissions
• Committees
• Previous Conferences

[Validator HTML4-Transitional] [Validator CSS level 2.1] Last modified: Mon Oct 11 2009