Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: haz || 35054 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 2025   2025 5th International Conference on Control Theory and Applications
IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
Computational Response Control 2025   Computational Response Control in Structures: Theory, Optimization and AI Applications
AMLDS 2025   IEEE--2025 International Conference on Advanced Machine Learning and Data Science
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
IEEE-Ei/Scopus-CNIOT 2025   2025 IEEE 6th International Conference on Computing, Networks and Internet of Things (CNIOT 2025) -EI Compendex
ITA 2026   International Congress on Information, Technology and Applications
Ei/Scopus-IPCML 2025   2025 International Conference on Image Processing, Communications and Machine Learning (IPCML 2025)
ACM SaT-CPS 2025   ACM Workshop on Secure and Trustworthy Cyber-Physical Systems
CoEEPE 2025   2025 5th International Joint Conference on Energy, Electrical and Power Engineering (CoEEPE 2025)
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.