Email Gateway (Oct 25 2023 at 09:55): Email Gateway (Oct 25 2023 at 09:55):From: Peter Lammich <cl-isabelle-users@lists.cam.ac.uk>
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
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: November 27th, 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.
Last updated: Apr 28 2024 at 16:17 UTC