[TYPES/announce] CADE-29 - Second Call for Papers

[Haniel Barbosa]

[Apologies for multiple copies]

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

                      SECOND CALL FOR PAPERS

    CADE-29: 29th international Conference on Automated Deduction

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

              https://urldefense.com/v3/__https://easyconferences.eu/cade2023__;!!IBzWLUs!X_GwVtYjfSOlVT7UltuVeAK2FoXL-5H7D_iQ6C9VTDXkAhvSybi2u8wUEAeI5TCYq2gUQ5XdakFhOSXKxK9Hrdv0U5WnRt4TEZcyK_g$ 

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

-- 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://urldefense.com/v3/__https://easychair.org/conferences/?conf=cade29__;!!IBzWLUs!X_GwVtYjfSOlVT7UltuVeAK2FoXL-5H7D_iQ6C9VTDXkAhvSybi2u8wUEAeI5TCYq2gUQ5XdakFhOSXKxK9Hrdv0U5WnRt4TeczX0z0$ 

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).