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

ITEA 2026   The 3rd International Conference on Intelligent Technology for Educational Applications
IEEE-ICECCS 2026   2025 IEEE International Conference on Electronics, Communications and Computer Science (ICECCS 2026)
NLPA 2026   7th International Conference on Natural Language Processing & Applications
AMLDS 2026   IEEE--2026 2nd International Conference on Advanced Machine Learning and Data Science
CFP-CIPCV-EI/SCOPUS 2026   The 2026 4th International Conference on Intelligent Perception and Computer Vision
DEPLING 2023   International Conference on Dependency Linguistics
Ei/Scopus-CNIOT 2026   2026 7th IEEE International Conference on Computing, Networks and Internet of Things (CNIOT 2026)
IntelliSys 2026   12th Intelligent Systems Conference 2026
IEEE AIxVR 2026   8th International Conference on Artificial Intelligence & extended and Virtual Reality
ICAISM 2026   2026 2nd International Conference on Artificial Intelligence and Smart Manufacturing-EI/Scopus