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

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
IJCAR 2018   9th International Joint Conference on Automated Reasoning
ATVA 2018   International Symposium on Automated Technology for Verification and Analysis
ICAPS 2019   21st International Conference on Automated Planning and Scheduling
MIREL 2018   MIREL 2018 workshop on MIning and REasoning with Legal texts
ARQNL 2018   Automated Reasoning in Quantified Non-Classical Logics
ASE Demonstrations Track 2018   33rd IEEE/ACM International Conference on Automated Software Engineering - Demonstrations Track