25th International Conference on Automated Deduction (CADE)
Feb 16, 2015
CADE is the major forum for the presentation of research in all aspects of automated deduction. The conference programme will include invited talks, paper presentations, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction will be presented at the conference.
The conference will be held from the 1st to 7th of August, 2015 in Berlin at the Freie Universität Berlin.Some Tags: automated deduction, model building, various techniques, Computer Algebra, various logics, Theorem Proving, proof checking, Model Checking, Conference, International