The Coq mailing list

[geoff AT cs.miami.edu]

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

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