posted by user: roopsha || 1342 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

ADG 2018   12th International Conference on Automated Deduction in Geometry
LSFA 2018   13th Workshop on Logical and Semantic Frameworks, with Applications
ASE 2018   33rd IEEE/ACM International Conference on Automated Software Engineering
IDEAL 2018   19th International Conference on Intelligent Data Engineering and Automated Learning
ATVA 2018   International Symposium on Automated Technology for Verification and Analysis
ICAPS 2019   21st International Conference on Automated Planning and Scheduling
AKBC 2019   1st Conference on Automated Knowledge Base Construction (AKBC)
LPAR 2018   International Conference on Logic for Programming, Artificial Intelligence and Reasoning
MIREL 2018   MIREL 2018 workshop on MIning and REasoning with Legal texts
ARQNL 2018   Automated Reasoning in Quantified Non-Classical Logics