posted by user: roopsha || 1227 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
IJCAR 2018   9th International Joint Conference on Automated Reasoning
ICAPS 2018   The 28th International Conference on Automated Planning and Scheduling
ATVA 2018   International Symposium on Automated Technology for Verification and Analysis
AIST 2018   IEEE International Workshop on Automated Intelligent Software Testing
Scopus-AIACT 2018   2018 2nd International Conference on Artificial Intelligence, Automation and Control Technologies (AIACT 2018)
IEEE CA2V 2018   International Workshop on Connected, Automated and Autonomous Vehicles
ITITS 2018   3rd International Conference on Information Technology and Intelligent Transportation Systems
ITEC 2018   IEEE Transportation Electrification Conference & Expo