CADE 2009 : 22nd International Conference on Automated Deduction

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

When	Aug 2, 2009 - Aug 7, 2009
Where	McGill University, Montreal, Canada
Abstract Registration Due	Feb 16, 2009
Submission Deadline	Feb 23, 2009

[Empty]

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