Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CADE-28: Call for Papers, Workshops, Tutorials...


view this post on Zulip Email Gateway (Oct 21 2020 at 11:32):

From: Sophie Tourret <stourret@mpi-inf.mpg.de>
CADE-28: Call for Papers, Workshops, Tutorials and Competitions

The 28th International Conference on Automated Deduction (CADE-28)
Carnegie Mellon University, Pittsburgh, USA.  11-16th July 2021.
http://www.cade-28.info

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.

CALL FOR PAPERS
===============
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

CALL FOR WORKSHOPS
==================
Workshop proposals for CADE-28 are solicited. The workshops will take place
before (11th July) and after (16th July) the conference. Both
well-established
workshops and newer ones are encouraged. Similarly, proposals for workshops
with a tight focus on a core automated reasoning specialization, as well as
those with a broader, more applied focus, are welcome. Please provide the
following information in your application:

CALL FOR TUTORIALS
==================
Tutorial proposals for CADE-28 are solicited. The tutorials will take place
before (11th July) and after (16th July) the conference. Tutorials are
expected
to be either half-day or full-day events, with a theoretical or applied
focus,
on a topic of interest to CADE-28. Please provide the following
information in
your application:

Within reason, CADE will take care of printing and distributing notes for
tutorials that would like this service.

CALL FOR COMPETITIONS
=====================
The CADE ATP System Competition (CASC), which evaluates automated theorem
proving systems for classical logics, has become an integral part of the
CADE
conferences. Further competition proposals are solicited. The goal is to
foster
the development of automated reasoning systems and applications, in all
areas
relevant to automated deduction in a broad sense. Please provide the
following
information in your application:

Important Dates for Workshop/Tutorials/Competitions:

Proposals for workshops, tutorials, and competitions must be submitted
to the
CADE-28-WTC track via
https://easychair.org/conferences/?conf=cade28
smime.p7s


Last updated: Sep 28 2021 at 20:18 UTC