EasyChair Smart CFPDocs/Log in
CFP
CADE-28: The 28th International Conference on Automated Deduction
Carnegie Mellon University
Pittsburgh, PA, United States, July 11-16, 2021
Conference websitehttp://www.cade-28.info
Submission linkhttps://easychair.org/conferences/?conf=cade28
Conference programhttps://easychair.org/smart-program/CADE-28/
Abstract registration deadlineFebruary 15, 2021
Submission deadlineFebruary 22, 2021
Topics: automated deduction applications

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-28 is in cooperation with ACM SIGLOG. CADE implements the ACM policy against harassment.

Submission Guidelines

Submissions can be made in two categories:

  • Regular papers. Up to 15 pages in LNCS style, excluding references. Proofs of theoretical results  that do not fit in the page limit may be provided in an appendix.
  • Short papers (including system descriptions, user experiences, domain models,  etc.). Up to 10 pages in LNCS style, excluding references.

Reviewers  may consider material in appendices, but submissions must be self-contained within the page limit. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. If software or data is relevant to a paper, a link that provides access to the software/data must be provided to enable reproduction of results. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chairs may solicit further reviews after the rebuttal period.

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

      http://www.springer.de/comp/lncs/authors.html

Papers must be submitted to the CADE-28 track via

      https://easychair.org/conferences/?conf=cade28

All papers must include the ORCID ids of authors (at least the corresponding author).

Important Dates 

  • Abstract deadline:      15 February 2021 
  • Submission deadline: 22 February 2021 
  • Start rebuttal phase:  29 March    2021
  • End rebuttal phase     31 March    2021 
  • Notification:                9 April       2021 
  • Final version:             30 April      2021
  • Conference:         12-15 July        2021

The authors of a selection of the best CADE-28 papers will be invited to submit an extended version of their paper after the conference, to be published in a special issue of the Journal of Automated Reasoning.

Venue

The conference was planned to be held at Carnegie Mellon University, Pittsburgh, USA, but due to the COVID-19 pandemic the conference will be virtual.

Contact

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

Call for Workshops

Workshop proposals for CADE-28 are solicited. The workshops will take place before (11th July) and after (16th July) the conference. Both well-established workshops and newer ones are encouraged. Similarly, proposals for workshops with a tight focus on acore automated reasoning specialization, as well as those with a broader, moreapplied focus, are welcome. Please provide the following information in your application:

  • Workshop title.
  • Names and affiliations of organizers.
  • Proposed workshop duration (from half a day to two days) and preferred day(s).
  • Brief description of the goals and the scope of the workshop. Why is the  workshop relevant to CADE?
  • Is the workshop new or has it met previously? In the latter case information  on previous meetings should be given (e.g., links to the program, number of  submissions, number of participants).
  • What are the plans for publication?
  • Short statement regarding plans in case of an online conference.

Call for Tutorials

Tutorial proposals for CADE-28 are solicited. The tutorials will take place before (11th July) and after (16th July) the conference. Tutorials are expected to be either half-day or full-day events, with a theoretical or applied focus, on atopic of interest to CADE-28. Please provide the following information in your application:

  • Tutorial title.
  • Names and affiliations of organizers.
  • Proposed tutorial duration (from half to one day) and the preferred day.
  • Brief description of the tutorial's goals and topics to be covered.
  • Whether or not a version of the tutorial has been given previously, and  if/how the intended presentation differs.
  • Short statement regarding plans in case of an online conference.

Within reason, CADE will take care of printing and distributing notes fortutorials that would like this service.

Call for Competitions

The CADE ATP System Competition (CASC), which evaluates automated theoremproving systems for classical logics, has become an integral part of the CADEconferences. Further competition proposals are solicited. The goal is to fosterthe development of automated reasoning systems and applications, in all areasrelevant to automated deduction in a broad sense. Proposals should include thefollowing information:

  • Competition title.
  • Names and affiliations of organizers.
  • Duration and schedule of the competition.
  • Room/space requirements.
  • Description of the competition task and the evaluation procedure.
  • Is the competition new or has it been organized before? In the latter case  information on previous competitions should be given.
  • What computing resources are required and how will they be provided?
  • Short statement regarding plans in case of an online conference.

Important Dates for Workshop/Tutorials/Competitions

  • Submission deadline:               16 November 2020 
  • Notification:                            11 December 2020
  • Workshops and tutorials:  11 & 16 July          2021

Submission Instructions

Proposals for workshops, tutorials, and competitions must be submitted to the CADE-28-WTC track via

        https://easychair.org/conferences/?conf=cade28

All questions about submissions should be emailed to Alex Steen.

Copyright © 2002 – 2024 EasyChair