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

BLKCA 2026   4th International Conference on Blockchain and Applications
IOP-RICAS 2027   2027 International Conference on Robotics, Intelligent Control and Autonomous Systems (RICAS 2027)
AMLDS 2027   IEEE--2027 3rd International Conference on Advanced Machine Learning and Data Science
Ei/Scopus-ACEPE 2026   2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)
DEPLING 2023   International Conference on Dependency Linguistics
EDUAI 2026   3rd International Conference on Education and Artificial Intelligence
ACL 2027   The 65th Annual Meeting of the Association for Computational Linguistics
SCM 2026   9th International Conference on Soft Computing, Control and Mathematics
ICSS 2026   12th International Conference on Software Security
AISC 2026   14th International Conference on Artificial Intelligence, Soft Computing
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.