/Apologies if you receive multiple copies/
*IJCAR 2024: 2nd call for co-located events*
12th International Joint Conference on Automated Reasoning – IJCAR 2024 July 1–6, 2024, Nancy, France https://ijcar2024.loria.fr
DEADLINE EXTENSION: submissions open till December 8th, 2023
The International Joint Conference on Automated Reasoning (IJCAR 2024) is soliciting proposals for co-located events such as workshops, tutorials and competitions.
Researchers are invited to submit proposals on any topic related to automated reasoning, from theoretical foundations to tools and applications.
The co-located events will take place before the IJCAR conference on Monday & Tuesday, July 1-2, 2024.
Proposals can have up to three pages and should consist of the following two parts.
A description part including: a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant); a brief description (up to 120 words) of the event for the website and publicity material. An organisational part including: contact information for the workshop organisers; proposed affiliated conference; estimate of the number of workshop participants; proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.) potential invited speakers; procedures for selecting papers and participants; tentative schedule for paper submission and notification of acceptance; plans (and needs) for remote participation [*]; plans for dissemination, if any (e.g. a journal special issue); duration (which may vary from one day to two days); any other special requirements.
The organisers of co-located events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a tentative programme of talks; advertise their event through specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; plan for remote participation (if applicable); and arrange post-proceedings if any.
The IJCAR organising committee will handle promotion of the event on the main conference website; integration of the event's programme into the overall timetable; registration of participants; arrangement of an appropriate meeting room; and provision of lunch and coffee breaks for participants.
Important Dates
Submission of co-located event proposals (extended): December 8th, 2023 Notification of success of proposals: December 11th, 2023 Main conference: July 3-6, 2024 Workshop dates: July 1-2, 2024
Proposals should be sent directly to Sophie Tourret by email at sophie.tourret@inria.fr .
[*] A zoom connection can be provided on demand.