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

CADE 2009 : 22nd International Conference on Automated Deduction


Conference Series : Conference on Automated Deduction
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


Related Resources

ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
ATVA 2021   The 19th International Symposium on Automated Technology for Verification and Analysis
CASE 2021   Call for Papers and Shared Task Participation: Challenges and Applications of Automated Extraction of Socio-political Events from Text (CASE) @ ACL-IJCNLP 2021