CADE-24 – the 24th International Conference on Automated DeductionNews: 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.