posted by user: haz || 34595 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
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
ICoCTA 2024   2024 4th International Conference on Control Theory and Applications
ECAI 2024   27th European Conference on Artificial Intelligence
AITA 2024   2nd International Conference on Artificial Intelligence: Theory and Applications
JCICE 2024   2024 International Joint Conference on Information and Communication Engineering(JCICE 2024)
CLNLP 2024   2024 International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2024)
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
NCTA 2024   16th International Conference on Neural Computation Theory and Applications
ECTA 2024   16th International Conference on Evolutionary Computation Theory and Applications