First Call for Workshops — CAV 2027, Amsterdam

04-Jul-2026

Computer Aided Verification (CAV) 2027 will be hosted, for the first time in the rich history of CAV, in the Netherlands. CAV and the workshops will be hosted at KIT in the heart of Amsterdam.

We solicit proposals for high-quality workshops with a clear connection to the main event. 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 along with the CAV 2027 program chairs and members of the CAV steering committee. 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

Workshop proposal evaluation 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

General Chairs: Marieke Huisman (University of Twente) and Joost-Pieter Katoen (RWTH Aachen University and University of Twente). Workshop Chair: Sebastian Junges (Radboud University).

CAV 2027 workshops are planned as in-person events. The Verification Mentoring Workshop will be hosted on 20 July.

The conference/workshop venue (www.kit.nl) has a limited number of rooms; we expect to host 6 workshops per workshop day. The venue is easily accessible by public transport or taxi from both Amsterdam Airport Schiphol (AMS) and Amsterdam Central Station. Amsterdam Airport Schiphol is a major European hub connecting over 300 airports worldwide via direct flights, and Amsterdam Central Station has direct train connections to London, Paris, Brussels, Berlin, and Frankfurt.

Workshop organizers may decide whether to publish workshop proceedings. Workshop participants, including organisers, 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)

Proposals:

  • Proposals due: 15 September 2026
  • Notification of accepted proposals: 1 October 2026

Workshop organisation — organizers of accepted workshops must adhere to the following deadlines:

  • Webpage online by 1 November 2026
  • Call for contributions by 1 January 2027
  • Notifications for participants: TBD — likely by 15 May 2027

Conference:

  • Workshops: Monday 19 & Tuesday 20 July 2027
  • Main Conference: Wednesday 21 – Friday 23 July 2027

Copyright © 2026, VERSEN