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

SEAS 2026   15th International Conference on Software Engineering and Applications
Ei/Scopus-ITCC 2026   2026 6th International Conference on Information Technology and Cloud Computing (ITCC 2026)
IEEE QSW 2026   2026 IEEE INTERNATIONAL CONFERENCE ON QUANTUM SOFTWARE
IEEE-ICECCS 2026   2025 IEEE International Conference on Electronics, Communications and Computer Science (ICECCS 2026)
JITST 2026   Journal of Internet Technology and Secured Transactions
IJCAI 2026   35th International Joint Conference on Artificial Intelligence
UAI 2026   42nd Conference on Uncertainty in Artificial Intelligence
AMLDS 2026   IEEE--2026 2nd International Conference on Advanced Machine Learning and Data Science
SOFE 2026   12th International Conference on Software Engineering
SE 2026   14th International Conference on Software Engineering & Trends