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

ICoCTA 2026   2026 6th International Conference on Control Theory and Applications (ICoCTA 2026)
Ei/Scopus-ITCC 2026   2026 6th International Conference on Information Technology and Cloud Computing (ITCC 2026)
IJSEA 2026   International Journal of Software Engineering & Applications - ERA Indexed, H Index 36
AMLDS 2026   IEEE--2026 2nd International Conference on Advanced Machine Learning and Data Science
GRAPH-HOC 2026   International Journal on Applications of Graph Theory in Wireless Ad hoc Networks and Sensor Networks
IJCAI 2026   35th International Joint Conference on Artificial Intelligence
IJIT 2026   International Journal on Information Theory
Ei/Scopus-CEICE 2026   2026 3rd International Conference on Electrical, Information and Communication Engineering (CEICE 2026)
IJPLA 2026   International Journal of Programming Languages and Applications
SE 2026   14th International Conference on Software Engineering & Trends