Pictures from Sun Yat-Sen University, Guangzhou, P.R. China

SAT 2008 - Eleventh International Conference on
Theory and Applications of Satisfiability Testing

May 12 - 15 2008, Guangzhou, P. R. China

Main

News

Slides

Photos

Invited Speakers

Preliminary Program

Poster Presentations

Committees

Important Dates

Conference Location

Registration and Accommodation

Paper Submissions

Sponsors

Previous Conferences

Ocean Hotel Guangzhou

The SAT 2008 conference will be located at the

Ocean Hotel
No. 412 Huanshi Dong Lu
510061 Guangzhou, P.R. China

Please visit this link for some information on the Guangzhou region.

 

Last modified: June 16, 2008.