The Coq mailing list

[geoff AT cs.miami.edu]

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

   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.

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