The Coq mailing list

[geoff AT cs.miami.edu]

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

     CADE 30 Call for Colocated Events

TLDR: Deadline next week on **November 11th**. Submit your proposals for
colocated events this week!

  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.


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