CADE-25

25th International Conference on Automated Deduction (CADE)

Berlin

Submissions:
Feb 16, 2015

http://cade-25.info

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: model building, Computer Algebra, proof checking, automated deduction, Conference, various logics, Model Checking, various techniques, constraint solving, 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>