Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: haz || 35793 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

SEMIT 2026   7th International Conference on Software Engineering and Managing Information Technology
Ei/Scopus-AI2A 2026   2026 IEEE 6th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2026)
CTCM 2026   12th International Conference of Control Theory and Computer Modelling
Ei/Scopus-ACEPE 2026   2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)
VLSIA 2026   12th International Conference on VLSI and Applications
IJNSA 2026   International Journal of Network Security & Its Applications - ERA Indexed, H Index - 52
AAIML 2027   IEEE--2027 2nd International Conference on Advances in Artificial Intelligence and Machine Learning
DEPLING 2023   International Conference on Dependency Linguistics
IJCSEA 2026   International Journal of Computer Science, Engineering and Applications
IJMA 2026   International Journal of Multimedia & Its Applications -- ERA Indexed, H index - 24
About Us | Contact Us | Data | Privacy Policy | Terms and Conditions
Partners: AI2's Semantic Scholar
This wiki is licensed under a Creative Commons Attribution-Share Alike 3.0 License.