Call for Presentations and Verification Challenges
The EVIT workshop co-located with CAV 2026 asks for your contributions!
The workshop aims to encourage discussion of composable and ergonomic verification interfaces and tools that help research communities and industry to share and compare their insights to easily connect their approaches.
Potential topics of interest include, but are not limited to:
- Correctness- and Security-by-Design Methodologies
- Specification Language Design
- Proof System Integration
- Continuous Verification
- Proof maintenance and repair
- Composable Verification Interfaces
- Open vs. Closed Source Verification Tooling
- Case Studies, Tools, and Verification Challenges
Verification challenges are expected to highlight technical problems, which make use of the existing theories, but still turn out to be challenging in practice.
Presentation and Challenge Proposals need to be submitted as an extended abstract of up to 4 pages in LNCS format not including references via HotCRP. Submissions can overlap with already published work and will be judged according to their relevance to the workshop. The reviewing process will be single blind.
Submission Deadline: tbd