Your browser may be outdated. Some visual or interactive features on this site may not work correctly. Please use a current browser for the best experience.

Call for Workshops

Workshops
Monday, July 19 and Tuesday, July 20, 2027
Main Conference
Wednesday, July 21 through Friday, July 23, 2027
Venue
KIT, formerly the Royal Tropical Institute, in Amsterdam

We solicit proposals for high-quality workshops with a clear connection to CAV 2027.

Workshops provide a forum for subcommunities to discuss open challenges and recent results in greater depth, explore topics at the boundaries of the main event's interests, or otherwise bring together members within and beyond the CAV community.

Workshop Proposals

Proposals will be reviewed by the Workshop Chair, CAV 2027 Program Chairs, and members of the CAV Steering Committee; see the organization page for the full list.

Proposals must consist of the following two parts:

Part I: Technical Information

A short (approximately one page) justification of the proposed topic, its significance and relevance to CAV, and the particular benefits of the workshop to the verification community, as well as its connection to related workshops at CAV and beyond.

Part II: Organizational Information

  • Contact information of the workshop organizers
  • Primary contact (Workshop Chair)
  • Desired length of the workshop (one or two days)
  • Estimated audience size, along with a brief justification.
  • Proposed format and agenda (e.g., demo sessions, tutorials, etc.)
  • Potential invited speakers
  • Procedures for selecting papers and participants
  • Plans for dissemination, if any (e.g., special issues of journals)
  • Special technical or AV requirements
  • Links to a preliminary website of the workshop and call for papers (if possible)
  • Information on whether the workshop has been previously held

Evaluation Criteria

Proposals will be evaluated on the following criteria:

  • Potential to advance the state of the art in verification technologies
  • Potential to break new ground and create bridges with other disciplines
  • Relevance to CAV
  • Degree of overlap with other proposed workshops
  • Past successes of the workshop and association with previous CAV conferences
  • Organizers’ ability and experience to lead a successful workshop

Information

Organizers

Relevant for this call are the following people:

General Chairs

Workshop Chair

See the full organization for all CAV 2027 roles.

In-Person Event

CAV 2027 workshops are planned as in-person events.

Mentoring

The Verification Mentoring Workshop will be hosted on July 20, 2027.

Location

Workshop rooms are limited, and we expect to host 6 workshops per workshop day. For venue and travel information, see the Venue page.

Proceedings

Workshop organizers may decide whether to publish workshop proceedings.

Registration Fees

Workshop participants, including organizers, must register via the CAV main registration page. The registration rates for workshops will be set by the CAV organizers in consultation with the workshop organizers, following rate structures similar to those used in the past. The workshop organizers are strongly encouraged to seek external funding and sponsorships to support invited speakers.

Important Dates

All deadlines are AoE (Anywhere on Earth).

Proposals

Proposals due
Notification of accepted proposals October 1, 2026

Workshop Organization

Organizers of accepted workshops must adhere to the following deadlines:

Webpage online
Call for contributions
Notifications for participants TBD, likely by May 15, 2027

Conference

Workshops Monday, July 19 & Tuesday, July 20, 2027
Main Conference Wednesday, July 21 - Friday, July 23, 2027

Submission

Please submit proposals (one PDF) via email to the Workshop Chair, Sebastian Junges, with subject line [CAV WORKSHOP], at sebastian.junges@ru.nl.

Contact

For inquiries, please contact Sebastian Junges at sebastian.junges@ru.nl.