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

SAT 2024   The 27th International Conference on Theory and Applications of Satisfiability Testing
ECAI 2024   27th European Conference on Artificial Intelligence
ICoCTA 2024   2024 4th International Conference on Control Theory and Applications
CCVPR 2024   2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
NCTA 2024   16th International Conference on Neural Computation Theory and Applications
IEEE ICA 2022   The 6th IEEE International Conference on Agents
CLNLP 2024   2024 International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2024)
NeurIPS 2024   The Thirty-Eighth Annual Conference on Neural Information Processing Systems
Computational Response Control 2024   Computational Response Control in Structures: Theory, Optimization and AI Applications
CPSAT 2024   The 5th CPSSI International Symposium on Cyber-Physical Systems (Applications and Theory)
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.