SAT 2008 -
Eleventh International Conference on
Theory and Applications of Satisfiability Testing
May 12 - 15 2008, Guangzhou, P. R. China
News
Conference slides are now available here.
Slight changes to conference program.
The conference registration is now closed.
Due to unforeseen reasons the conference location had to be changed. Conference location is now
Ocean Hotel
No. 412 Huanshi Dong Lu
510061 Guangzhou, P.R. China
Templates for poster presentation available here.
Minor changes to preliminary conference program.
Check-in day for the conference accomodation is May, 11th, not May, 12th.
The preliminary SAT 2008 conference program is available here.
The conference registration is now open.
Max-SAT Evaluation is online.
SAT Race Call for Participation is online.
Paper submissions are open now. The submission page is http://www.easychair.org/conferences/?conf=SAT2008. Details to submissions are given here.