CADE 2009 : 22nd International Conference on Automated Deduction

Home

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

CSL 2025 Computer Science Logic

ASE 2025 The IEEE/ACM Automated Software Engineering Conference

CADE 2025 International Conference on AI and the Digital Economy (CADE) 2025

ICAPS 2025 International Conference on Automated Planning and Scheduling

IDEAL 2025 Intelligent Data Engineering and Automated Learning

ICMLSC 2025 9th International Conference on Machine Learning and Soft Computing