[TYPES/announce] CADE-28: final call for papers

[Sophie Tourret]

/!\ 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
(aplatzer at cs.cmu.edu) and Geoff Sutcliffe (geoff at cs.miami.edu).

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210208/86994d29/attachment.htm>