SAT 2008 -
Eleventh International Conference on
Theory and Applications of Satisfiability Testing
May 12 - 15 2008, Guangzhou, P. R. China
Important Dates
| January 11, 2008, 23:59 GMT | Abstract Submission | |
| January 18, 2008, 23:59 GMT | Paper Submission | |
| February 18, 2008 | Author Notification | |
| February 25, 2008, 23:59 GMT | Final Versions | |
| Due to tight schedules, these periods cannot be extended! | ||
| May 12 - 15, 2008 | Conference | |