back to shameless (but AR related) advertisements
2020-08-18 15:55:15 (GMT)
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 from the health authorities, to determine whether CADE-28 will be
physical or online.
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:
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
CALL FOR WORKSHOPS
==================
Workshop proposals for CADE-28 are solicited. The workshops will take place
before 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 document:
CALL FOR TUTORIALS
==================
Tutorial proposals for CADE-28 are solicited. The tutorials will take place
before 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.
Proposals should provide the following information:
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. Proposals should include the
following information:
Important Dates
Workshop/Tutorials/Competitions:
Submission Instructions
Proposals for workshops, tutorials, and competitions must be submitted to the
CADE-28-WTC track via
https://easychair.org/conferences/?conf=cade28
2020-08-18 16:6:32 (GMT)
oh, I might be able to attend if social distance losens up
2020-10-21 11:46:15 (GMT)
The dates have been added to the CFP. Here comes the new version:
2020-10-21 11:46:25 (GMT)
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:
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
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:
Brief description of the goals and the scope of the workshop. Why is the
workshop relevant to CADE?
Is the workshop new or has it met previously? In the latter case information
on previous meetings should be given (e.g., links to the program, number of
submissions, number of participants).
What are the plans for publication?
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:
Whether or not a version of the tutorial has been given previously, and
if/how the intended presentation differs.
Short statement regarding plans in case of an online conference.
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:
Is the competition new or has it been organized before? In the latter case
information on previous competitions should be given.
What computing resources are required and how will they be provided?
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