IJCAR 2024: 2nd call for co-located events

IJCAR 2024: 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

[email protected] .

[*] A zoom connection can be provided on demand.