Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CADE-28: $n$th call for papers

view this post on Zulip Email Gateway (Jan 22 2021 at 20:05):

From: Jasmin Blanchette via Cl-isabelle-users <>
The 28th International Conference on Automated Deduction (CADE-28)
Carnegie Mellon University, Pittsburgh, USA. 11-16th July 2021.
In cooperation with ACM SIGLOG<>

CADE will carefully monitor the development of the COVID-19 pandemic, and take
guidance from the health authorities, to determine whether CADE-28 will be
physical or online or hybrid.

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.

Important Dates

Submissions can be made in two categories:

The proceedings of the conference will be published in the Springer LNCS/LNAI
series. Formatting instructions and the LNCS style files can be obtained at
Papers must be submitted to the CADE-28 track via

All questions about submissions should be emailed to André Platzer
( and Geoff Sutcliffe (

Last updated: Jan 27 2022 at 19:15 UTC