The 28th International Conference on Automated Deduction (CADE-28) will be held at Carnegie Mellon University 11-16 July 2021 -i n cooperation with ACM SIGLOG.
⇒ CADE-28 will be virtual due to COVID-19. The virtual conference will take place from11-16 July 2021 as originally planned.
CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond STEM, implementations, and the use/contribution of automated deduction in AI, are solicited. CADE-28 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction.
Program ⇒ watch for regular updates