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

CADE 2009 : 22nd International Conference on Automated Deduction

FacebookTwitterLinkedInGoogle


Conference Series : Conference on Automated Deduction
 
Link: http://complogic.cs.mcgill.ca/cade22/dates.html
 
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

[Empty]

Related Resources

DT 2017   Deduktionstreffen 2017
ASE 2017   The 32nd IEEE/ACM International Conference on Automated Software Engineering
FSCD 2017   FSCD 2017 : Second International Conference on Formal Structures for Computation and Deduction
LSFA 2017   12th Workshop on Logical and Semantic Frameworks, with Applications
IDEAL 2017   18th International Conference on Intelligent Data Engineering and Automated Learning
IJCAR 2018   9th International Joint Conference on Automated Reasoning
GCAI 2017   The 3rd Global Conference on Artificial Intelligence (GCAI 2017), Miami, USA, 18-22 October 2017
ICAPS 2018   The 28th International Conference on Automated Planning and Scheduling
AIACT 2018   2018 2nd International Conference on Artificial Intelligence, Automation and Control Technologies (AIACT 2018)
ITEC 2018   IEEE Transportation Electrification Conference & Expo