<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p><i>Apologies if you receive multiple copies</i><br>
</p>
<p><b>IJCAR 2024: 2nd call for co-located events</b><br>
<br>
12th International Joint Conference on Automated Reasoning – IJCAR
2024<br>
July 1–6, 2024, Nancy, France<br>
<a class="moz-txt-link-freetext" href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fijcar2024.loria.fr%2F&data=05%7C01%7C%7C33cc6a4c8467447c52e308dbef533bf2%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638366912997098431%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=dbeBjCiz%2FErl7mApdsl7OlU5VJETfTzdaVi8AcFxkxM%3D&reserved=0" originalSrc="https://ijcar2024.loria.fr/" shash="vap9Gy8i3HV8j+0BQfBb2CrNXzR87LBvnjzzy3IqrwIeJniGj+mWl0yEQPb7LgZh6CG1IlvT8ze1WEcDo40STBS4CZ45HTMW84MoaeVqFcl9vT+iijmU4+zikjpR131ZKruEI4xNk/+E+zySJfIMQnLBpNIhW2sZdRN80Hv6jj8=">https://ijcar2024.loria.fr</a><br>
<br>
DEADLINE EXTENSION: submissions open till December 8th, 2023<br>
<br>
The International Joint Conference on Automated Reasoning (IJCAR
2024) is<br>
soliciting proposals for co-located events such as workshops,
tutorials and<br>
competitions.<br>
<br>
Researchers are invited to submit proposals on any topic related
to automated<br>
reasoning, from theoretical foundations to tools and applications.<br>
<br>
The co-located events will take place before the IJCAR conference
on Monday &<br>
Tuesday, July 1-2, 2024.<br>
<br>
Proposals can have up to three pages and should consist of the
following two<br>
parts.<br>
<br>
A description part including:<br>
a short scientific justification of the proposed topic,
its<br>
significance, and the particular benefits of the
workshop to the<br>
community, as well as a list of previous or related
workshops (if<br>
relevant);<br>
a brief description (up to 120 words) of the event for the
website and<br>
publicity material.<br>
An organisational part including:<br>
contact information for the workshop organisers;<br>
proposed affiliated conference;<br>
estimate of the number of workshop participants;<br>
proposed format and agenda (e.g. paper presentations,
tutorials, demo<br>
sessions, etc.)<br>
potential invited speakers;<br>
procedures for selecting papers and participants;<br>
tentative schedule for paper submission and notification
of acceptance;<br>
plans (and needs) for remote participation [*];<br>
plans for dissemination, if any (e.g. a journal special
issue);<br>
duration (which may vary from one day to two days);<br>
any other special requirements.<br>
<br>
The organisers of co-located events are expected to create and
maintain a website<br>
for the event; handle paper selection, reviewing and acceptance;
draw up a<br>
tentative programme of talks; advertise their event through
specialist mailing<br>
lists; prepare the informal pre-proceedings (if applicable) in a
timely fashion;<br>
plan for remote participation (if applicable); and arrange
post-proceedings if any.<br>
<br>
The IJCAR organising committee will handle promotion of the event
on the main<br>
conference website; integration of the event's programme into the
overall<br>
timetable; registration of participants; arrangement of an
appropriate meeting<br>
room; and provision of lunch and coffee breaks for participants.<br>
<br>
Important Dates<br>
<br>
Submission of co-located event proposals (extended): December
8th, 2023<br>
Notification of success of proposals: December 11th, 2023<br>
Main conference: July 3-6, 2024<br>
Workshop dates: July 1-2, 2024<br>
<br>
<br>
Proposals should be sent directly to Sophie Tourret by email at<br>
<a class="moz-txt-link-abbreviated" href="mailto:sophie.tourret@inria.fr">sophie.tourret@inria.fr</a> .<br>
<br>
<br>
[*] A zoom connection can be provided on demand. <br>
</p>
</body>
</html>