back to shameless (but AR related) advertisements
2021-01-21 12:6:43 (GMT)
CADE-28: 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 withACM SIGLOG <https://siglog.acm.org>
CADE will carefully monitor the development of the COVID-19 pandemic, and take
guidance from the health authorities, to determine whether CADE-28 will be
physical or online or hybrid.
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
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@cs.cmu.edu) and Geoff Sutcliffe (geoff@cs.miami.edu).
2021-01-22 21:2:51 (GMT)
@Sophie Tourret CADE's webpage already says that CADE is going to be virtual, but the CFP does not. Can you confirm that or is it an error on the webpage?
The 28th International Conference on Automated Deduction (CADE-28) will be virtual due to the COVID-19 pandemic. The virtual conference will take place from July 11 to 16, 2021 as originally planned.
2021-01-22 21:17:35 (GMT)
Surely the CfP hasn't been updated.
2021-01-22 21:27:12 (GMT)
Indeed, I confirm that it was decided to go virtual, but this was not updated in the CfPs. I'll update things where possible. Thanks for the warning.
2021-01-22 21:36:43 (GMT)
... the message is too old, I can't edit it in zulip :( . I guess here things are now clear anyway thanks to our discussion.
2021-01-22 21:39:19 (GMT)
I think they're clear from watching the news, really. ;)
2021-01-22 21:40:43 (GMT)
Yes, well... not everyone watches the news, but it is true this particular situation is hard to miss entirely.