posted by user: roopsha || 2169 views || tracked by 4 users: [display]

CADE 2009 : 22nd International Conference on Automated Deduction


Conference Series : Conference on Automated Deduction
When Aug 2, 2009 - Aug 7, 2009
Where McGill University, Montreal, Canada
Abstract Registration Due Feb 16, 2009
Submission Deadline Feb 23, 2009

Call For Papers


Related Resources

ASE 2022   37th IEEE/ACM International Conference on Automated Software Engineering
IDEAL 2022   23rd International Conference on Intelligent Data Engineering and Automated Learning
CADE 2022   Competitive Advantage in the Digital Economy (CADE) 2022
ATVA 2022   The 20th International Symposium on Automated Technology for Verification and Analysis
AutoML-Conf 2022   1st International Conference on Automated Machine Learning
AKBC 2022   4th Conference on Automated Knowledge Base Construction (AKBC)
CAIS 2022   2022 OkIP International Conference on Automated and Intelligent Systems
ASYDE 2022   Automated and verifiable Software sYstem DEvelopment
LANMR 2022   Fourteenth Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning
ACAN 2022   The 13th International Workshop on Agent-based Complex Automated Negotiations