25 - 30 August 2019, The 27th International Conference on Automated Deduction (CADE-27), Natal, Brazil
The conference on Automated Deduction (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. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction and the new Skolem Award(s) for influential historical CADE papers is presented at the conference.
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. Abstract submission deadline: 15 February 2019.
Additionally, CADE-27 sollicits proposals for
- workshops, to take place before the main conference
- tutorials, either half-day or full-day events
- system competitions, to foster the development of automated reasoning systems
Submission deadline: 15 November 2018.