Email Gateway (Jan 11 2024 at 23:33): Email Gateway (Jan 11 2024 at 23:33):From: Peter Lammich <cl-isabelle-users@lists.cam.ac.uk>
IJCAR 2024: Final Call for Papers
IJCAR <https://ijcar.org/>is the premier international joint conference
on all aspects of automated reasoning.
IJCAR 2024 will be hosted by the Inria Nancy Research Center and LORIA
in Nancy, France, from July 1-6, 2024.
IJCAR 2024 is the merger conference of leading events in automated
reasoning:
* CADE <http://cadeinc.org/>– Conference on Automated Deduction
* FroCoS <http://frocos.cs.uiowa.edu/>– Symposium on Frontiers of
Combining Systems
* TABLEAUX <http://www.tableaux-ar.org/>– Conference on Analytic
Tableaux and Related Methods
Topics
IJCAR 2024 invites submissions related to all aspects of automated or
interactive logical reasoning, including foundations, implementations,
and applications. Original research papers and descriptions/evaluations
of working automated deduction systems or proof assistant systems are
solicited.
IJCAR topics include the following:
*
Logics of interest include: propositional, first-order, classical,
equational, higher-order, non-classical, constructive, modal,
temporal, many-valued, substructural, description, type theory.
*
Methods of interest include: tableaux, sequent calculi, resolution,
model-elimination, inverse method, paramodulation, term rewriting,
induction, unification, constraint solving, decision procedures,
model generation, model checking, semantic guidance, interactive
theorem proving, logical frameworks, AI-related methods for
deductive systems, proof presentation, automated theorem proving,
combination of decision or proof procedures, SAT and SMT solving,
machine learning and theorem proving, integration of automated
provers/proof assistants in automated test generators, program
synthesisers, verified compilers, intelligent systems, agent based
systems, knowledge processing systems, formal methods tools and
other symbolic tools, etc.
*
Applications of interest include: verification, formal methods,
program analysis and synthesis, computer mathematics, declarative
programming, deductive databases, knowledge representation and
processing/engineering, education, formalization of mathematics,
trusted AI, etc.
Important Dates
* |29 Jan 2024|Abstract submission
* |5 Feb 2024|Paper submission
* |28 Mar 2024|Notification of paper decisions
* |28 Apr 2024|Camera-ready papers due
* |1-2 Jul 2024|Workshops, competitions, and tutorials
* |3-6 Jul 2024|Conference, including CASC
Co-located Events
IJCAR 2024 will have numerous co-located events. Please seehere
<https://merz.gitlabpages.inria.fr/2024-ijcar/page/satellites/>for an
up-to-date list.
Submission Guidelines
IJCAR 2024 invites submissions related to the topics of interest
mentioned above.
All papers must be original and not simultaneously submitted to another
peer-reviewed journal or conference. The following paper categories are
welcome:
*
|Regular papers|describing solid new research results. They can be
up to 15 pages in LNCS style, including figures but excluding
references and appendices. Where applicable, regular papers are
supported by experimental validation. Submissions reporting on case
studies in an industrial context are strongly invited as regular papers.
*
|Short papers|describing implemented systems, user experiences, case
studies and domain models, etc. They can be up to 7 pages in LNCS
style, excluding references and appendices.
All submissions will be judged on relevance, originality, significance,
correctness, and readability. Proofs of theoretical results that do not
fit in the page limit, executables of systems, and input data of
experiments should be made available, e.g., via a reference to a website
or in an appendix of the paper.
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.
All submissions must be formatted using the Springer LNCS styles and
submitted in PDF via EasyChair:
https://easychair.org/conferences/?conf=ijcar2024
The IJCAR 2024 proceedings will be published in the Springer
seriesLecture Notes in Artificial Intelligence
<https://link.springer.com/conference/ijcar>(LNAI/LNCS) as Gold Open
Access, and will be available online during the conference. At least one
person must register for each accepted paper, and this registration must
also cover the Gold Open Access processing fee of 200 Euro net per
paper. Authors of accepted papers are required to ensure that at least
one of them will participate in the conference and present the work.
The papers delivered to us will be processed according to the regular
workflow, meaning Springer will generate both full-text HTML and PDF
versions of the papers, to be made available in SpringerLink, and the
full book will be available in PDF and ePub formats. The papers will be
published under the CC-BY-4.0-license.
Best Paper Award
IJCAR 2024 will recognize the most outstanding submissions with a best
paper award and a best student paper award at the conference.
Student Travel Award
Woody Bledsoe Travel Awards will be available to support selected
students in attending the conference.
Last updated: Apr 28 2024 at 16:17 UTC