News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

11 - 16 July 2021, The 28th International Conference on Automated Deduction (CADE-28), Pittsburgh PA (U.S.A.) or Virtual

Date: 11 - 16 July 2021
Location: Pittsburgh PA (U.S.A.) or Virtual
Deadline: Monday 15 February 2021

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.

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

Paper submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. Submissions can be made in two categories: + Regular papers. Up to 15 pages in LNCS style. Proofs of theoretical results that do not fit in the page limit may be provided in an appendix. Reviewers may consider additional material in appendices, but submissions must be self- contained within the page limit. + Short papers (including system descriptions, user experiences, domain models, etc.) Up to 10 pages in LNCS style.

Additionally, proposals are sollicited for workshops, tutorials andcompetitions. Workshops and tutorials will take place before the conference. Both well-established workshops and newer ones are encouraged. Similarly, proposals for workshops with a tight focus on a core automated reasoning specialization, as well as those with a broader, more applied focus, are welcome. Tutorials are expected to be either half-day or full-day events, with a theoretical or applied focus, on a topic of interest to CADE-28. Proposed competitions should foster the development of automated reasoning systems and applications, in all areas relevant to automated deduction in a broad sense. Proposal submission deadline: 16 November 2020.

For more information, see

Please note that this newsitem has been archived, and may contain outdated information or links.