皆様

自動演繹に関する国際会議 CADE-28 の論文投稿締切が近づきましたので その募集案内を改めてお送り致します。ぜひ論文の投稿をご検討下さい。 投稿締切の延長は予定されておりません。どうぞご注意下さい。

廣川 (JAIST)

------------------------------------------------------------------------------------------------- /!\ This is CADE-28's final call for papers. The abstract deadline is next week. /!\ The submission deadline is firm, there will be no extensions. /!\ The other dates (rebuttal, notification, final version) have changed. -------------------------------------------------------------------------------------------------

CADE-28: Final Call for Papers

The 28th International Conference on Automated Deduction (CADE-28) Carnegie Mellon University, Pittsburgh, USA. 11-16th July 2021. http://www.cade-28.info In cooperation with ACM SIGLOG https://siglog.acm.org

CADE-28 will be virtual due to the COVID-19 pandemic.

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

Abstract deadline: 15 February 2021 Submission deadline: 22 February 2021 (AoE, no extensions) Rebuttal phase: 29-31 March 2021 Notification: 9 April 2021 Final version: 30 April 2021 Conference: 12-15 July 2021

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. 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 questions about submissions should be emailed to André Platzer ([email protected]) and Geoff Sutcliffe ([email protected]).