Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CADE-28: $n$th call for papers


view this post on Zulip Email Gateway (Jan 22 2021 at 20:05):

From: Jasmin Blanchette via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
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 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:

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


Last updated: Dec 05 2021 at 23:19 UTC