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

GISTAM 2026   12th International Conference on Geographical Information Systems Theory, Applications and Management
Ei/Scopus-ITCC 2026   2026 6th International Conference on Information Technology and Cloud Computing (ITCC 2026)
AOMTI 2026   2026 International Conference on Advanced Optoelectronic Measurement Technology and Instruments
AMLDS 2026   IEEE--2026 2nd International Conference on Advanced Machine Learning and Data Science
Ei/Scopus-CMLDS 2026   2026 3rd International Conference on Computing, Machine Learning and Data Science (CMLDS 2026)
DEPLING 2023   International Conference on Dependency Linguistics
ECML PKDD 2026   ECML PKDD 2026 : European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
MLCI 2026   2026 International Conference on Machine Learning and Computational Intelligence (MLCI 2026)
ICoSSE 2026   2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Ei/Scopus-CNIOT 2026   2026 7th IEEE International Conference on Computing, Networks and Internet of Things (CNIOT 2026)