posted by user: haz || 35676 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

TTAE 2026   2026 6th International Conference on Testing Technology and Automation Engineering
IEEE-ICECCS 2026   2025 IEEE International Conference on Electronics, Communications and Computer Science (ICECCS 2026)
IEEE-ICCEA 2026   IEEE 2026 7th International Conference on Computer Engineering and Application
AMLDS 2026   IEEE--2026 2nd International Conference on Advanced Machine Learning and Data Science
SIMULTECH 2026   16th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
Ei/Scopus-ACEPE 2026   2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)
DATA 2026   15th International Conference on Data Science, Technology and Applications
CFP-CIPCV-EI/SCOPUS 2026   The 2026 4th International Conference on Intelligent Perception and Computer Vision
CMNM 2026   2026 3rd International Conference on Machine Learning, Natural Language Processing, and Modeling
DEPLING 2023   International Conference on Dependency Linguistics