CADE is t he major international forum for presenting resear ch on all aspects of automated deduction. High-qua lity submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond STEM, i mplementations, and the use/contribution of automa ted deduction in AI, are solicited. CADE-28 aims t o present research that reflects the broad range o f interesting and relevant topics in automated ded uction.
\n\nCADE will carefully monitor th e development of the COVID-19 pandemic, and take g uidance from from the health authorities, to deter mine whether CADE-28 will be physical or online.\n
Paper submissions must be un published and not submitted for publication elsewh ere. They will be judged on relevance, originality , significance, correctness, and readability. Subm issions can be made in two categories: + Regular p apers. Up to 15 pages in LNCS style. Proofs of the oretical results that do not fit in the page limit may be provided in an appendix. Reviewers may con sider additional material in appendices, but submi ssions must be self- contained within the page lim it. + Short papers (including system descriptions, user experiences, domain models, etc.) Up to 10 p ages in LNCS style.
\n\nAdditionally, prop osals are sollicited for workshops, tutorials andc ompetitions. Workshops and tutorials will take pla ce before the conference. Both well-established wo rkshops and newer ones are encouraged. Similarly, proposals for workshops with a tight focus on a co re automated reasoning specialization, as well as those with a broader, more applied focus, are welc ome. 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 aut omated reasoning systems and applications, in all areas relevant to automated deduction in a broad s ense. Proposal submission deadline: 16 November 20 20.
\n