[logic-ml] CADE-29 Call for Papers

[Nao Hirokawa]

皆様

7月に FSCD とともにローマで開催されます、自動演繹に関する国際会議
CADE-29 の論文募集案内をお送り致します。ぜひ論文の投稿をご検討下さい。

廣川 (JAIST)

******************************************************************

                       CALL FOR PAPERS

     CADE-29: 29th international Conference on Automated Deduction

                   Sapienza University of Rome
                  Rome, Italy, 1-5 July 2023

               https://easyconferences.eu/cade2023

******************************************************************

-- Overview --

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 computer science and mathematics, and implementations of 
automated
reasoning systems are solicited. CADE-29 aims to present research that 
reflects
the broad range of interesting and relevant topics in automated deduction.

CADE-29 is in cooperation with ACM SIGLOG.

-- Venue --

CADE-29 and affiliated satellite events will take place in Rome, Italy 
and will
be co-located with FSCD 2023.

-- Publication --

CADE-29 proceedings will be published in Springer's Lecture Notes in 
Artificial
Intelligence series in Gold Open Access mode at a CADE special rate of 
€200.00
per paper. Funding will be available for authors of accepted papers who 
cannot
cover the €200 fee.

-- Special Issue --

The authors of a selection of the best CADE-29 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.

-- 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**. This includes system descriptions, user experiences, 
case
   studies and domain models. Up to 10 pages in LNCS style, excluding
   references.

Reviewers may consider material provided 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. Selected accepted papers will be
considered by Program Committee for the CADE Best Paper Award.

Papers must be submitted to https://easychair.org/conferences/?conf=cade29

All submission must be formatted in the LNCS style and must include the 
ORCID
id of at least the corresponding author, and preferably of all authors.

-- Important Dates --

Abstract deadline:      February 27, 2023
Submission deadline:    March 6, 2023
Rebuttal phase:         April 18-20, 2023
Notification:           May 3, 2023
Final version:          May 24, 2023
Main Conference:        July 1-4, 2023
Satellite events:       July 4-5, 2023

-- Program Committee Chairs --
Brigitte Pientka, MacGill University
Cesare Tinelli, The University of Iowa

-- Policies--
CADE implements the ACM policy against harassment.

-- Contacts --
All questions about CADE-29 paper submissions should be emailed to the
PC Chairs (cade29 at easychair.org).