Email Gateway (Oct 17 2023 at 14:54): Email Gateway (Oct 17 2023 at 14:54):From: Peter Lammich <lammich@in.tum.de>
**
IJCAR 2024
*
=======================================================================
CALL FOR PAPERS
IJCAR 2024
The 12th International Joint Conference on Automated Reasoning
https://ijcar2024.loria.fr/
<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fijcar2024.loria.fr%2F&data=05%7C01%7Cp.lammich%40utwente.nl%7Cf37a9b7941f844417c4108dbcf20baea%7C723246a1c3f543c5acdc43adb404ac4d%7C0%7C0%7C638331511704577413%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=SqcIQDgggvnozlMr%2BZigjUhl5F%2FF%2FYTCItL2o6IfEOs%3D&reserved=0>
=======================================================================
IJCAR is the premier international joint conference on all topics in
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 of leading events in automated reasoning:
* CADE (Conference on Automated Deduction)
* FroCoS (Symposium on Frontiers of Combining Systems)
* TABLEAUX (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/evaluationsof 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 (partly tentative)
================
15 Jan 2024 Abstract submission deadline
22 Jan 2024 Paper submission deadline
15 Mar 2024 Notification of paper decisions (tentative)
04 Apr 2024 Camera-ready papers due (tentative)
1-2 Jul 2024Workshops & Tutorials
3-6 Jul 2024Conference, including CASC
WORKSHOPS, TUTORIALS, SYSTEM COMPETITION
==========================================
A two-day workshop and tutorial programme will be co-organized with the
conference. In addition, the annual CADE ATP System Competition (CASC)
will be held during the conference. Details will be published in
separate calls and on the conference website.
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 papersdescribing 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 papersdescribing 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
<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines&data=05%7C01%7Cp.lammich%40utwente.nl%7Cf37a9b7941f844417c4108dbcf20baea%7C723246a1c3f543c5acdc43adb404ac4d%7C0%7C0%7C638331511704577413%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=ojx%2FMiKXe5dYGGtlELrZ4qsMWcPWkhdDzi8fFoqba7U%3D&reserved=0> and
submitted in PDF via EasyChair:
https://easychair.org/conferences/?conf=ijcar2024
The IJCAR 2024 proceedings will be published in the Springer series
Lecture Notes in Artificial Intelligence (LNAI/LNCS) as Gold Open
Access, and will be available online during the conference. All accepted
papers must have one registration including the processing fees of the
Gold Open Access (200 Euros per paper is foreseen, like for the previous
edition of IJCAR). Authors of accepted papers are required to ensure
that at least one of them will participate in the conference and present
the work.
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 AWARDS
=====================
Woody Bledsoe Travel Awards will be available to support selected
students in attending the conference.
ORGANIZATION
============
Conference Co-Chairs:
* Didier Galmiche (University of Lorraine, France)
* Stephan Merz (Inria Nancy, France)
* Christophe Ringeissen (Inria Nancy, France)
Programme Chairs:
* Christoph Benzmüller (University of Bamberg & FU Berlin, Germany)
* Marijn Heule (Carnegie Mellon University, USA)
* Renate Schmidt (University of Manchester, UK)
Workshop, Tutorial and Competition Chairs:
* Sophie Tourret (Inria Nancy, France)
Publicity Chair
* Peter Lammich (University of Twente, The Netherlands)
Local Arrangements
* Anne-Lise Charbonnier (Inria Nancy, France)
* Sabrina Verdenal (Inria Nancy, France)
Programme Committee:
* TBA
*
Email Gateway (Oct 17 2023 at 20:40):From: Peter Lammich <cl-isabelle-users@lists.cam.ac.uk>
**
IJCAR 2024
*
=======================================================================
CALL FOR PAPERS
IJCAR 2024
The 12th International Joint Conference on Automated Reasoning
Nancy, France <https://www.nancy.fr/accueil>, July 1-6, 2024
https://ijcar2024.loria.fr/ <https://ijcar2024.loria.fr/>
=======================================================================
IJCAR is the premier international joint conference on all topics in
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 of leading events in automated reasoning:
* CADE (Conference on Automated Deduction)
* FroCoS (Symposium on Frontiers of Combining Systems)
* TABLEAUX (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/evaluationsof 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 (partly tentative)
================
15 Jan 2024 Abstract submission deadline
22 Jan 2024 Paper submission deadline
15 Mar 2024 Notification of paper decisions (tentative)
04 Apr 2024 Camera-ready papers due (tentative)
1-2 Jul 2024Workshops & Tutorials
3-6 Jul 2024Conference, including CASC
WORKSHOPS, TUTORIALS, SYSTEM COMPETITION
==========================================
A two-day workshop and tutorial programme will be co-organized with the
conference. In addition, the annual CADE ATP System Competition (CASC)
will be held during the conference. Details will be published in
separate calls and on the conference website.
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 papersdescribing 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 papersdescribing 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
<https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines> and
submitted in PDF via EasyChair:
https://easychair.org/conferences/?conf=ijcar2024
The IJCAR 2024 proceedings will be published in the Springer series
Lecture Notes in Artificial Intelligence (LNAI/LNCS) as Gold Open
Access, and will be available online during the conference. All accepted
papers must have one registration including the processing fees of the
Gold Open Access (200 Euros per paper is foreseen, like for the previous
edition of IJCAR). Authors of accepted papers are required to ensure
that at least one of them will participate in the conference and present
the work.
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 AWARDS
=====================
Woody Bledsoe Travel Awards will be available to support selected
students in attending the conference.
ORGANIZATION
============
Conference Co-Chairs:
* Didier Galmiche (University of Lorraine, France)
* Stephan Merz (Inria Nancy, France)
* Christophe Ringeissen (Inria Nancy, France)
Programme Chairs:
* Christoph Benzmüller (University of Bamberg & FU Berlin, Germany)
* Marijn Heule (Carnegie Mellon University, USA)
* Renate Schmidt (University of Manchester, UK)
Workshop, Tutorial and Competition Chairs:
* Sophie Tourret (Inria Nancy, France)
Publicity Chair
* Peter Lammich (University of Twente, The Netherlands)
Local Arrangements
* Anne-Lise Charbonnier (Inria Nancy, France)
* Sabrina Verdenal (Inria Nancy, France)
Programme Committee:
* TBA
*
Last updated: Apr 28 2024 at 16:17 UTC