[Om-announce] IJCAR 2024: 2nd call for co-located events

[Peter Lammich]

/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://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

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 at inria.fr .


[*] A zoom connection can be provided on demand.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20231127/c2c719e0/attachment-0001.htm>