posted by user: haz || 35362 views || tracked by 3 users: [display]

SAT 2008 : Conference on Theory and Applications of Satisfiability Testing

FacebookTwitterLinkedInGoogle


Conference Series : Theory and Applications of Satisfiability Testing
 
Link: http://wwwcs.uni-paderborn.de/cs/ag-klbue/en/research/SAT08/sat08-main.php?disp=top
 
When May 12, 2008 - May 15, 2008
Where Guangzhou, P. R. China
Submission Deadline Jan 11, 2008
Categories    artificial intelligence
 

Call For Papers

post CFP here

Related Resources

GISTAM 2026   12th International Conference on Geographical Information Systems Theory, Applications and Management
IEEE-ACAI 2025   2025 IEEE 8th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2025)
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
Ei/Scopus-SGGEA 2025   2025 2nd Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2025)
ITA 2026   International Congress on Information, Technology and Applications
AMLDS 2026   IEEE--2026 2nd International Conference on Advanced Machine Learning and Data Science
AI Encyclopedia 2027   Call for Articles in Elsevier's new AI Encyclopedia
Ei/Scopus-CEICE 2026   2026 3rd International Conference on Electrical, Information and Communication Engineering (CEICE 2026)
VALID 2026   The Eighteenth International Conference on Advances in System Testing and Validation Lifecycle
ICITA 2026   ICITA 2026: 20th International Conference on Information Technology and Applications