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

BRAIN 2026   BRAIN'26 - 7th Workshop on Blockchain theoRy and ApplicatIoNs @ IEEE PerCom 2026
Ei/Scopus-CCNML 2025   2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
Ei/Scopus-SGGEA 2025   2025 2nd Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2025)
CTCM 2025   11th International Conference of Control Theory and Computer Modelling
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
IEEE-ACAI 2025   2025 IEEE 8th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2025)
ITA 2026   International Congress on Information, Technology and Applications
SPRA 2026   SPIE--2026 6th Symposium on Pattern Recognition and Applications (SPRA 2026)
IEEE Big Data - MMAI 2025   IEEE Big Data 2025 Workshop on Multimodal AI
AMLDS 2026   IEEE--2026 2nd International Conference on Advanced Machine Learning and Data Science
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.