Call for Abstracts

We welcome all sorts of talks, ranging from new ideas over work in progress to mature (possibly already published) approaches. The main objective of the workshop is to discuss ideas on verification witnesses and their validation. There will be no proceedings. Researchers wishing to give a talk should submit a short abstract (of length between half a page and 2 pages) at Easychair. The abstracts will be reviewed with respect to their fit to the workshop topic and authors will be notified within one working day after sending the abstract.

Important Dates

Abstract submission June 8, 2023 (extended)
Notification the next working day after receiving the abstract
Workshop July 17, 2023