posted by user: haz || 35920 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

ELLAK 2027   “Pacing Worlds: Speed and Literature” 2027 International Conference
IOP-RICAS 2027   2027 International Conference on Robotics, Intelligent Control and Autonomous Systems (RICAS 2027)
ICMEA 2027   2027 The 10th International Conference on Materials Engineering and Applications (ICMEA 2027)
AMLDS 2027   IEEE--2027 3rd International Conference on Advanced Machine Learning and Data Science
IEEA 2027   2027 The 16th International Conference on Informatics, Environment, Energy and Applications (IEEA 2027)
DEPLING 2023   International Conference on Dependency Linguistics
IEEA--EI 2027   2027 The 16th International Conference on Informatics, Environment, Energy and Applications (IEEA 2027)
ACL 2027   The 65th Annual Meeting of the Association for Computational Linguistics
CAAIE 2027   7th Conference on Advanced Artificial Intelligence and Education
ICRCA 2027   2027 11th International Conference on Robotics, Control and Automation (ICRCA 2027)