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

Leave a Reply




You can use these HTML tags

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>