Universiteit van Amsterdam


Institute for Logic, Language and Computation

6 - 11 August 2017, The 26th International Conference on Automated Deduction (CADE-26), Gothenburg, Sweden

Date: 6 - 11 August 2017
Location: Gothenburg, Sweden
Deadline: Saturday 11 February 2017

CADE is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions.

High-quality submissions on the general topic of automated deduction, including foundations, applications, implementations, theoretical results, practical experiences and user studies are solicited. Submissions can be made in two categories: regular papers and system descriptions. Submissions must be unpublished and not submitted for publication elsewhere. Abstract deadline: 11 February 2017.

For more information, see http://www.cade-26.info.