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.
Important Dates
| Abstract submission | 2025-04-01 | |
| Notification | 2025-04-01 | |
| Workshop | April 01, 2025 - April 03, 2025 |