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

ICAPS 2024   The 34th International Conference on Automated Planning and Scheduling
JSS VSI:AI-testing-and-analysis 2024   [JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
IDEAL 2024   Intelligent Data Engineering and Automated Learning
CADE 2024   International Conference on AI and the Digital Economy (CADE)
ATVA 2024   22nd International Symposium on Automated Technology for Verification and Analysis
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
TAA - LMHCU 2024   Towards an Automated Art? Learning Machines, Human Creativity and Uncertainty
ASE 2024   2024 39th IEEE/ACM International Conference on Automated Software Engineering
IJCAR 2024   International Joint Conference on Automated Reasoning