6 - 11 August 2017, The 26th International Conference on Automated Deduction (CADE-26), Gothenburg, Sweden
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.