26th Conference on Automated Deduction

CADE is the major international forum at which research on all aspects of automated deduction is presented.

The conference will take place at the Lindholmen Science Park, which offers a development environment where industry, academia and the public sector runs research and development projects.
Category Conference
Location: Lindholmen Science Park, science park, Lindholmen
Starts: 06 August, 2017, 08:45
Ends: 11 August, 2017, 16:30

Published: Mon 10 Jul 2017.