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

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