Logic List Mailing Archive

Cf Colocated Events: CADE-30: 30th International Conference on Automated Deduction, August 1-2, Stuttgart (Germany)

--------------------------------------------------------------------------

   CADE-30 Call for Colocated Events

The 30th International Conference on Automated Deduction (CADE-30) is soliciting proposals for satellite events such as workshops, tutorials and competitions.

Researchers are invited to submit proposals on any topic related to automated deduction, from theoretical foundations to tools and applications.

The satellite events will take place following the main conference on Friday and Saturday, August 1st and 2nd, 2025.

Proposals can have up to three pages and should consist of the following.

Directly in the easychair form:
- the name of your event
- the abstract - a brief description (up to 120 words) of the event
  for the website and publicity material.
- contact information for the workshop organizers;

A PDF file 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);
- an estimate of the number of expected participants;
- a proposed format and agenda (e.g. paper presentations, tutorials, demo
  sessions, etc.)
- potential invited speakers;
- the procedure for selecting papers and participants;
- a 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 organizers of satellite events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a tentative program 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 CADE organizing committee will handle promotion of the event on the main conference website; easychair setup for the event as conference track; integration of the event's program into the overall timetable; registration of participants; arrangement of an appropriate meeting room; and basic catering.

Important Dates

Submission of satellite event proposals: November 11th, 2024 Notification of success of proposals: November 25th, 2024 Main conference: July 28th - July 31st, 2025 Workshop dates: August 1st - August 2nd, 2025

Proposals should be submitted via easychair at:
    https://easychair.org/conferences/?conf=cade30
in the "Co-located Event Proposals" track.

--------------------------------------------------------------------------
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php