Researchers and practitioners are invited to submit proposals for ONE DAY/TWO DAYS workshops on topics related to theory, formal modeling, verification, performance evaluation and engineering of concurrent, timed, industrial, and other systems. Typically, CONFEST workshops feature a number of invited speakers and a number of contributed presentations. The workshops will run concurrently with the main conferences between September 09 to September 13, 2024.

Topics

The purpose of the workshops is to provide participants with a friendly, stimulating, and interactive atmosphere for:

  • presenting novel ideas,
  • discussing new ideas on emerging research areas, challenging problems, and industrial applications,
  • encouraging inter-disciplinary research between industry and academia, and fostering opportunities for young and prospective researchers.

Organization

CONFEST’24 is planned as a physical, in-person event, with some support for remote participation. In a limited number of cases, there will be remote-participation support for speakers and for other participants who are unable to come. Please take this into account when preparing a workshop proposal and communicate to participants requiring such support that they should contact the organizers of CONFEST’24 explaining their case.

We will provide the following to workshop organizers:

  • Meeting rooms on demand.
  • Coffee breaks and catering for lunch, both are included.
  • The CONFEST’24 website cannot be made accessible for edits by third parties but workshop organizers can either host their own website and provide a link to it that we put on CONFEST website, or they can send us their content and we will put it on the website.
  • Registration will be centralized by CONFEST.
  • Special rates for hotels, as well as local information, can be found on the website

Instructions for proposal submission

Workshop proposals should include:

  • The name and the preferred date of the proposed workshop.
  • The names and contact information (web page, email address) of the organizers.
  • A short scientific summary and justification of the proposed topic for the CONFEST community (500 words max).
  • A discussion of the proposed format and agenda.
  • If applicable, a brief description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance.
  • Procedures for selecting papers and participants.
  • The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/…).
  • Potentially invited speakers.
  • Tentative schedule for paper submission and notification of acceptance.

The main responsibility for organizing the workshop goes to the workshop organizer(s), including:

  • workshop publicity (possibly including call for papers, submission, and review process)
  • scheduling of workshop activities in collaboration with the CONFEST workshop chair.

Proposals should be sent to Workshop chairs (Joydeep Mukherjee or Steve Drew).

Important dates

  • Submission deadline: February 23, 2024
  • Notification: March 08, 2024
  • Program of the workshops ready: August 16, 2024
  • CONFEST conferences: September 9-13, 2024