<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
/!\ This is CADE-28's final call for papers. The abstract deadline
is next week.<br>
/!\ The submission deadline is firm, there will be no extensions.<br>
/!\ The other dates (rebuttal, notification, final version) have
changed.<br>
<br>
-------------------------------------------------------------------------------------------------<br>
<br>
<b>CADE-28: Final Call for Papers</b><br>
<br>
The 28th International Conference on Automated Deduction (CADE-28)<br>
Carnegie Mellon University, Pittsburgh, USA. 11-16th July 2021.<br>
<a class="moz-txt-link-freetext" href="http://www.cade-28.info">http://www.cade-28.info</a><br>
In cooperation with ACM SIGLOG <a class="moz-txt-link-rfc2396E" href="https://siglog.acm.org"><https://siglog.acm.org></a><br>
<br>
CADE-28 will be <b>virtual</b> due to the COVID-19 pandemic.<br>
<br>
CADE is the major international forum for presenting research on all
aspects of<br>
automated deduction. High-quality submissions on the general topic
of automated<br>
deduction, including logical foundations, theory and principles,
applications<br>
in and beyond STEM, implementations, and the use/contribution of
automated<br>
deduction in AI, are solicited. CADE-28 aims to present research
that reflects<br>
the broad range of interesting and relevant topics in automated
deduction.<br>
<br>
Important Dates<br>
<br>
Abstract deadline: <b>15 February</b> 2021<br>
Submission deadline: <b>22 February</b> 2021 (AoE, no extensions)<br>
Rebuttal phase: 29-31 March 2021<br>
Notification: 9 April 2021<br>
Final version: 30 April 2021<br>
Conference: 12-15 July 2021<br>
<br>
Submissions can be made in two categories:<br>
<br>
Regular papers. Up to 15 pages in LNCS style. Proofs of theoretical
results<br>
that do not fit in the page limit may be provided in an appendix.
Reviewers<br>
may consider additional material in appendices, but submissions must
be self-<br>
contained within the page limit.<br>
<br>
Short papers (including system descriptions, user experiences,
domain models,<br>
etc.) Up to 10 pages in LNCS style.<br>
Submissions must be unpublished and not submitted for publication
elsewhere.<br>
They will be judged on relevance, originality, significance,
correctness, and<br>
readability. If software or data is relevant to a paper, a link that
provides<br>
access to the software/data must be provided to enable reproduction
of results.<br>
The review process will include a feedback/rebuttal period where
authors will<br>
have the option to respond to reviewer comments. The PC chairs may
solicit<br>
further reviews after the rebuttal period.<br>
<br>
The proceedings of the conference will be published in the Springer
LNCS/LNAI<br>
series. Formatting instructions and the LNCS style files can be
obtained at<br>
<a class="moz-txt-link-freetext" href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a><br>
Papers must be submitted to the CADE-28 track via<br>
<a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=cade28">https://easychair.org/conferences/?conf=cade28</a><br>
<br>
All questions about submissions should be emailed to André Platzer<br>
(<a class="moz-txt-link-abbreviated" href="mailto:aplatzer@cs.cmu.edu">aplatzer@cs.cmu.edu</a>) and Geoff Sutcliffe (<a class="moz-txt-link-abbreviated" href="mailto:geoff@cs.miami.edu">geoff@cs.miami.edu</a>).<br>
<pre class="moz-signature" cols="72">
</pre>
</body>
</html>