CADE-24 – the 24th International Conference on Automated Deduction

News: The schedules are available!

News: Greg Nelson to receive the Herbrand Award for distinguished contributions to automated reasoning at CADE-24!

News: The paper "The tree width of separation logic with recursive definitions" by Radu Iosif, Adam Rogalewicz and Jiri Simacek, closes a clear open problem since 2004 and wins the CADE-24 Best Paper Award!

The CADE conference series is sponsored by CADE Inc. In addition, CADE-24 gratefully acknowledges support from the Artificial Intelligence Journal and Microsoft Research. The CADE-24 proceedings will be published by Springer in the LNAI series.