皆様
7月にローマで行われます自動演繹に関する国際会議 CADE-29 の 論文募集案内（第二版）をお送り致します。ぜひ論文の投稿を ご検討下さい。
廣川 (JAIST)
******************************************************************
SECOND 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).