<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<header class="header-section " style="box-sizing: border-box; display: block; color: rgb(64, 64, 64); font-family: Lora, "Times New Roman", serif; font-size: 18px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">
<div class="intro-header no-img" style="box-sizing: border-box; margin: 130px 0px 20px; position: relative;">
<div class="container" style="box-sizing: border-box; padding-right: 15px; padding-left: 15px; margin-right: auto; margin-left: auto; width: 1170px;">
<div class="row" style="box-sizing: border-box; margin-right: -15px; margin-left: -15px;">
<div class="col-lg-8 col-lg-offset-2 col-md-10 col-md-offset-1" style="box-sizing: border-box; position: relative; min-height: 1px; padding-right: 15px; padding-left: 15px; float: left; width: 780px; margin-left: 195px;">
<div class="post-heading" style="box-sizing: border-box;">
<h1 style="box-sizing: border-box; font-size: 50px; margin: 0px 0px 10px; font-family: "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif; font-weight: 800; line-height: 1.1; color: inherit;">IJCAR
2024: Final Call for Papers</h1>
<span class="post-meta" style="box-sizing: border-box; color: rgb(128, 128, 128); font-size: 18px; font-style: italic; margin: 0px 0px 10px;"> </span><a href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fijcar.org%2F&data=05%7C02%7C%7C11d5ea44244a473efda708dc12fa2520%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638406112774420456%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=NsZDbVXP4y2heIEBIrwN4xV0038y79hV%2BI5BUYtFXPI%3D&reserved=0" originalSrc="https://ijcar.org/" shash="ogzv+5F5Ufxv3uJbM5gCsOFpJfAvVcbklltrK1uszI+7Dak5ur3H4DMfM8OdgFT9IfvN/QJz53PoA59+bu8DnrzWgrA8O0OPKwN0A6Noz/x3E0bpIdvLmEpQkREtUwd9aA+aLqv1393J+6X0Cq7gMm1XwA/OOCZUh3g3pIhaFVo=" style="box-sizing: border-box; background-color: transparent; color: rgb(0, 138, 255); text-decoration: none;">IJCAR</a><span> </span>is
the premier international joint conference on all
aspects of automated reasoning.</div>
</div>
</div>
</div>
</div>
</header>
<div class="container" role="main" style="box-sizing: border-box; padding-right: 15px; padding-left: 15px; margin-right: auto; margin-left: auto; width: 1170px; margin-bottom: 50px; flex: 1 0 auto; color: rgb(64, 64, 64); font-family: Lora, "Times New Roman", serif; font-size: 18px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">
<div class="row" style="box-sizing: border-box; margin-right: -15px; margin-left: -15px;">
<div class="col-lg-8 col-lg-offset-2 col-md-10 col-md-offset-1" style="box-sizing: border-box; position: relative; min-height: 1px; padding-right: 15px; padding-left: 15px; float: left; width: 780px; margin-left: 195px;">
<article role="main" class="blog-post" style="box-sizing: border-box; display: block;">
<p style="box-sizing: border-box; margin: 24px 0px 6px; line-height: 1.5;">IJCAR
2024 will be hosted by the Inria Nancy Research Center and
LORIA in Nancy, France, from July 1-6, 2024.</p>
<p style="box-sizing: border-box; margin: 24px 0px 6px; line-height: 1.5;">IJCAR
2024 is the merger conference of leading events in
automated reasoning:</p>
<ul style="box-sizing: border-box; margin-top: 0px; margin-bottom: 10px;">
<li style="box-sizing: border-box;"><a href="https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fcadeinc.org%2F&data=05%7C02%7C%7C11d5ea44244a473efda708dc12fa2520%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638406112774420456%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=t03onR79Gj6dFYkGz3CfnEKgMngv%2Fh4SSU34%2FuzK%2B6E%3D&reserved=0" originalSrc="http://cadeinc.org/" shash="Yp6EGdK2Q+OKx8pw8DifbnuwDq99Icx8JN7aNPePPud+pEOlV3GadJHP9yzWzJU6FLl3qdABfFby00RTGQUJOdQY+AiRs5iTcWwxiP+L/L2v9yQjV9SHNBmg4GBJ+BtrDVNanprwr0U/akNBlqf9fLqWTEcj3fNlGUiW9sbacb8=" style="box-sizing: border-box; background-color: transparent; color: rgb(0, 138, 255); text-decoration: none;">CADE</a><span> </span>–
Conference on Automated Deduction</li>
<li style="box-sizing: border-box;"><a href="https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Ffrocos.cs.uiowa.edu%2F&data=05%7C02%7C%7C11d5ea44244a473efda708dc12fa2520%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638406112774420456%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=iCEfQR2gS4vgP8FHopJQAoueqsGx3bUf0Nb3%2BopWlZw%3D&reserved=0" originalSrc="http://frocos.cs.uiowa.edu/" shash="ylywurA6xwiN1C/tZlvUuWZ1WQ/UqcBk8SFsd6B4tvWi4ZmdJPpaT0WxnwBVjDE521CV4OxOVTpj8EoBSTzrIu5i4eEefPYbRdoQSdm5KcvrQP9eS9DN3bDq5v8AHui7vd7Mw3DKzFKwBLw7ztTfvpsJdPjWtYuqtGQDvHKrqyk=" style="box-sizing: border-box; background-color: transparent; color: rgb(0, 138, 255); text-decoration: none;">FroCoS</a><span> </span>–
Symposium on Frontiers of Combining Systems</li>
<li style="box-sizing: border-box;"><a href="https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.tableaux-ar.org%2F&data=05%7C02%7C%7C11d5ea44244a473efda708dc12fa2520%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638406112774576875%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=j5xSnb4MatSeTcPxyUju8yPba4TA8apcrgjHcDLgiG4%3D&reserved=0" originalSrc="http://www.tableaux-ar.org/" shash="pKKkWJndvF6Jp1bvyEyzYrsFREYCgPhxDpwIBHwgMNLOTYNuZgwNMDxxkA7YkhvrHzZO9an0PtbbdmqkDy8Wo8mcyo+LQRtHVzDL2x769cOiDUYMvgRjwTg3naF+D3MWZjimt2HBZui3X8k3Sspz0dn6yVKV7dEFojxWaomQ4YY=" style="box-sizing: border-box; background-color: transparent; color: rgb(0, 138, 255); text-decoration: none;">TABLEAUX</a><span> </span>–
Conference on Analytic Tableaux and Related Methods</li>
</ul>
<h2 id="topics" style="box-sizing: border-box; font-family: "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif; font-weight: 800; line-height: 1.1; color: inherit; margin-top: 20px; margin-bottom: 10px; font-size: 30px;">Topics</h2>
<p style="box-sizing: border-box; margin: 6px 0px; line-height: 1.5;">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.</p>
<p style="box-sizing: border-box; margin: 24px 0px 6px; line-height: 1.5;">IJCAR
topics include the following:</p>
<ul style="box-sizing: border-box; margin-top: 0px; margin-bottom: 10px;">
<li style="box-sizing: border-box;">
<p style="box-sizing: border-box; margin: 6px 0px; line-height: 1.5;">Logics
of interest include: propositional, first-order,
classical, equational, higher-order, non-classical,
constructive, modal, temporal, many-valued,
substructural, description, type theory.</p>
</li>
<li style="box-sizing: border-box;">
<p style="box-sizing: border-box; margin: 6px 0px; line-height: 1.5;">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.</p>
</li>
<li style="box-sizing: border-box;">
<p style="box-sizing: border-box; margin: 6px 0px; line-height: 1.5;">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.</p>
</li>
</ul>
<h2 id="important-dates" style="box-sizing: border-box; font-family: "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif; font-weight: 800; line-height: 1.1; color: inherit; margin-top: 20px; margin-bottom: 10px; font-size: 30px;">Important
Dates</h2>
<ul style="box-sizing: border-box; margin-top: 0px; margin-bottom: 10px;">
<li style="box-sizing: border-box;"><code style="box-sizing: border-box; font-family: Menlo, Monaco, Consolas, "Courier New", monospace; font-size: 16.2px; padding: 2px 4px; color: rgb(199, 37, 78); background-color: rgb(249, 242, 244); border-radius: 4px;">29
Jan 2024</code><span> </span>Abstract submission</li>
<li style="box-sizing: border-box;"><code style="box-sizing: border-box; font-family: Menlo, Monaco, Consolas, "Courier New", monospace; font-size: 16.2px; padding: 2px 4px; color: rgb(199, 37, 78); background-color: rgb(249, 242, 244); border-radius: 4px;">5
Feb 2024</code><span> </span>Paper submission</li>
<li style="box-sizing: border-box;"><code style="box-sizing: border-box; font-family: Menlo, Monaco, Consolas, "Courier New", monospace; font-size: 16.2px; padding: 2px 4px; color: rgb(199, 37, 78); background-color: rgb(249, 242, 244); border-radius: 4px;">28
Mar 2024</code><span> </span>Notification of paper
decisions</li>
<li style="box-sizing: border-box;"><code style="box-sizing: border-box; font-family: Menlo, Monaco, Consolas, "Courier New", monospace; font-size: 16.2px; padding: 2px 4px; color: rgb(199, 37, 78); background-color: rgb(249, 242, 244); border-radius: 4px;">28
Apr 2024</code><span> </span>Camera-ready papers due</li>
<li style="box-sizing: border-box;"><code style="box-sizing: border-box; font-family: Menlo, Monaco, Consolas, "Courier New", monospace; font-size: 16.2px; padding: 2px 4px; color: rgb(199, 37, 78); background-color: rgb(249, 242, 244); border-radius: 4px;">1-2
Jul 2024</code><span> </span>Workshops, competitions,
and tutorials</li>
<li style="box-sizing: border-box;"><code style="box-sizing: border-box; font-family: Menlo, Monaco, Consolas, "Courier New", monospace; font-size: 16.2px; padding: 2px 4px; color: rgb(199, 37, 78); background-color: rgb(249, 242, 244); border-radius: 4px;">3-6
Jul 2024</code><span> </span>Conference, including
CASC</li>
</ul>
<h2 id="co-located-events" style="box-sizing: border-box; font-family: "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif; font-weight: 800; line-height: 1.1; color: inherit; margin-top: 20px; margin-bottom: 10px; font-size: 30px;">Co-located
Events</h2>
<p style="box-sizing: border-box; margin: 6px 0px; line-height: 1.5;">IJCAR
2024 will have numerous co-located events. Please see<span> </span><a href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmerz.gitlabpages.inria.fr%2F2024-ijcar%2Fpage%2Fsatellites%2F&data=05%7C02%7C%7C11d5ea44244a473efda708dc12fa2520%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638406112774579704%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=DmXqhFcQIlJ4IRYPhUL7GGyWBeamqoWY7ZQKNrwD3gI%3D&reserved=0" originalSrc="https://merz.gitlabpages.inria.fr/2024-ijcar/page/satellites/" shash="q4GerLYpIxZihWrA8AIBr2gTxf3bULvdhCSWfyAo2mJVKupJpEkpSCmeBcfMWu3dgcRPeazYG6XCHoKBlMM1y3NMvRUE5/ZTsehAGK8zjWhkSdfJUldUPVrHMtnfR1ag2NxCN/1mlYAGfFiGhOHyuFLZ8Dxd99bbuNN++cBcgyA=" style="box-sizing: border-box; background-color: transparent; color: rgb(0, 138, 255); text-decoration: none;">here</a><span> </span>for
an up-to-date list.</p>
<h2 id="submission-guidelines" style="box-sizing: border-box; font-family: "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif; font-weight: 800; line-height: 1.1; color: inherit; margin-top: 20px; margin-bottom: 10px; font-size: 30px;">Submission
Guidelines</h2>
<p style="box-sizing: border-box; margin: 6px 0px; line-height: 1.5;">IJCAR
2024 invites submissions related to the topics of interest
mentioned above.</p>
<p style="box-sizing: border-box; margin: 24px 0px 6px; line-height: 1.5;">All
papers must be original and not simultaneously submitted
to another peer-reviewed journal or conference. The
following paper categories are welcome:</p>
<ul style="box-sizing: border-box; margin-top: 0px; margin-bottom: 10px;">
<li style="box-sizing: border-box;">
<p style="box-sizing: border-box; margin: 6px 0px; line-height: 1.5;"><code style="box-sizing: border-box; font-family: Menlo, Monaco, Consolas, "Courier New", monospace; font-size: 16.2px; padding: 2px 4px; color: rgb(199, 37, 78); background-color: rgb(249, 242, 244); border-radius: 4px;">Regular
papers</code><span> </span>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.</p>
</li>
<li style="box-sizing: border-box;">
<p style="box-sizing: border-box; margin: 6px 0px; line-height: 1.5;"><code style="box-sizing: border-box; font-family: Menlo, Monaco, Consolas, "Courier New", monospace; font-size: 16.2px; padding: 2px 4px; color: rgb(199, 37, 78); background-color: rgb(249, 242, 244); border-radius: 4px;">Short
papers</code><span> </span>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.</p>
</li>
</ul>
<p style="box-sizing: border-box; margin: 6px 0px; line-height: 1.5;">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.</p>
<p style="box-sizing: border-box; margin: 24px 0px 6px; line-height: 1.5;">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.</p>
<p style="box-sizing: border-box; margin: 24px 0px 6px; line-height: 1.5;">All
submissions must be formatted using the Springer LNCS
styles and submitted in PDF via EasyChair:</p>
<p style="box-sizing: border-box; margin: 24px 0px 6px; line-height: 1.5;"><a href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dijcar2024&data=05%7C02%7C%7C11d5ea44244a473efda708dc12fa2520%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638406112774579704%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=2rohyc2TuYiEWvkjsTkLS6K8xAw5FJHZGnJ6vVBBslA%3D&reserved=0" originalSrc="https://easychair.org/conferences/?conf=ijcar2024" shash="GpRV44Muzi7J/Ldd3+IYeR9QdhxwB8DiPXa2y+dekJiNe0rwtS5wCgIiZFThY4iuyFptyQA+IS8rt8EzRS4xNLBIsGFKSXzetcsaK5Qgb2E/2pf6rTTOzG715HohMmMo6Rv2hbGQIjadegz6mCOfbY8HhXLChzCicr9e5VzYJ4k=" style="box-sizing: border-box; background-color: transparent; color: rgb(0, 138, 255); text-decoration: none;" class="moz-txt-link-freetext">https://easychair.org/conferences/?conf=ijcar2024</a></p>
<p style="box-sizing: border-box; margin: 24px 0px 6px; line-height: 1.5;">The
IJCAR 2024 proceedings will be published in the Springer
series<span> </span><a href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flink.springer.com%2Fconference%2Fijcar&data=05%7C02%7C%7C11d5ea44244a473efda708dc12fa2520%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638406112774579704%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=lGXqb9fiAxl26lB%2BCCVKhEL4KTrd63F7rieydcnJOy8%3D&reserved=0" originalSrc="https://link.springer.com/conference/ijcar" shash="dZZHD9baMFS6mNShYJbCRVpsVZkhG9Gmrm0l1mASNtSWxdVxlgVbxyv5xolNw8CeBpQkNAdxtuPfxE9xhFpHSk+2klQGyOX7NOWCXDvykUC9CDPuAD0eHjAGdCRux4JFqBoX6UaPzGjwhB68Q0k8JLOtThjwOzA2NfGXOl+kjv0=" style="box-sizing: border-box; background-color: transparent; color: rgb(0, 138, 255); text-decoration: none;">Lecture
Notes in Artificial Intelligence</a><span> </span>(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.</p>
<p style="box-sizing: border-box; margin: 24px 0px 6px; line-height: 1.5;">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.</p>
<h2 id="best-paper-award" style="box-sizing: border-box; font-family: "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif; font-weight: 800; line-height: 1.1; color: inherit; margin-top: 20px; margin-bottom: 10px; font-size: 30px;">Best
Paper Award</h2>
<p style="box-sizing: border-box; margin: 6px 0px; line-height: 1.5;">IJCAR
2024 will recognize the most outstanding submissions with
a best paper award and a best student paper award at the
conference.</p>
<h2 id="student-travel-award" style="box-sizing: border-box; font-family: "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif; font-weight: 800; line-height: 1.1; color: inherit; margin-top: 20px; margin-bottom: 10px; font-size: 30px;">Student
Travel Award</h2>
<p style="box-sizing: border-box; margin: 6px 0px; line-height: 1.5;">Woody
Bledsoe Travel Awards will be available to support
selected students in attending the conference.</p>
</article>
</div>
</div>
</div>
<p></p>
</body>
</html>