[Om-announce] IJCAR 2024: 2nd Call for Papers

[Peter Lammich]

**

*Apologies if you receive multiple copies of this CfP*

*

=======================================================================

   CALL FOR PAPERS

   IJCAR 2024

   The 12th International Joint Conference on Automated Reasoning

Nancy, France <https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.nancy.fr%2Faccueil&data=05%7C01%7C%7C47f7ee49641648f2d05708dbee95ba89%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638366099078656842%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=%2BqV1fOqt1SLt%2F2ORN9yWFrpE7KBHl789onQHOGcirtQ%3D&reserved=0>, July 1-6, 2024

https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fijcar2024.loria.fr%2F&data=05%7C01%7C%7C47f7ee49641648f2d05708dbee95ba89%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638366099078656842%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=cQLCuEgemtKKKPgJz0Yay5IemzSQsDYd0F9W6WLFSFk%3D&reserved=0 <https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fijcar2024.loria.fr%2F&data=05%7C01%7C%7C47f7ee49641648f2d05708dbee95ba89%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638366099078656842%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=cQLCuEgemtKKKPgJz0Yay5IemzSQsDYd0F9W6WLFSFk%3D&reserved=0>


=======================================================================


IJCAR <https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fijcar.org%2F&data=05%7C01%7C%7C47f7ee49641648f2d05708dbee95ba89%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638366099078656842%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=IUlp3l5QVK5ea84%2BXbPDZs%2FXkZs3zgp4xYHmaxTFQbs%3D&reserved=0>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

================


29 Jan 2024  Abstract submission

05 Feb 2024  Paper submission

28 Mar 2024  Notification of paper decisions

28 Apr 2024  Camera-ready papers due

1-2 Jul 2024  Workshops & Tutorials

3-6 Jul 2024  Conference, 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. The call for co-located events 
<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmerz.gitlabpages.inria.fr%2F2024-ijcar%2Fpost%2Fcall-for-satellites%2F&data=05%7C01%7C%7C47f7ee49641648f2d05708dbee95ba89%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638366099078656842%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=SXrCjYh6sF9s0GMx4F69XCiYv7PV3Xe%2FsOaIIVqQCz0%3D&reserved=0>is 
available 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%7C%7C47f7ee49641648f2d05708dbee95ba89%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638366099078656842%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=HuvrkFP48kLSw42FQs0wiYLfp1dTnb1%2Bjdd%2B9FNsdWY%3D&reserved=0> and 
submitted in PDF via EasyChair: 
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dijcar2024&data=05%7C01%7C%7C47f7ee49641648f2d05708dbee95ba89%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638366099078656842%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=O1Gc%2B8%2FM1azfl1%2BbSKMHQDvEgrcaaVWc%2BtQLjORYzzQ%3D&reserved=0 
<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dijcar2024&data=05%7C01%7C%7C47f7ee49641648f2d05708dbee95ba89%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638366099078656842%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=O1Gc%2B8%2FM1azfl1%2BbSKMHQDvEgrcaaVWc%2BtQLjORYzzQ%3D&reserved=0>


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. 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 theour 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 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:

   * The list of PC members 
<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmerz.gitlabpages.inria.fr%2F2024-ijcar%2Fcommittee%2Fpc%2F&data=05%7C01%7C%7C47f7ee49641648f2d05708dbee95ba89%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638366099078656842%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=UapZMM4PK1qZ0nfrnEKHZ%2FBvz6V%2FQv8zxtpD3LmVSEs%3D&reserved=0>is available 
on the conference website 
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmerz.gitlabpages.inria.fr%2F2024-ijcar%2Fcommittee%2Fpc%2F&data=05%7C01%7C%7C47f7ee49641648f2d05708dbee95ba89%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638366099078656842%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=UapZMM4PK1qZ0nfrnEKHZ%2FBvz6V%2FQv8zxtpD3LmVSEs%3D&reserved=0

*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20231126/8e1c3553/attachment-0001.htm>