# International Conference on Verified Software

- Dates: October 2026
- Location: HS i1 at Inffeldgasse 18, Graz, Austria
- Organiser: FMCAD Association
- Industry: Developer & Engineering

## About

The 18th International Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2026) aims to advance software verification through theory, tools, and experiments.

## Official links

- [Official website](https://fmcad.org/FMCAD26/vstte/)
- [Registration](https://fmcad.org/FMCAD26/registration)
- [Call for speakers](https://fmcad.org/FMCAD26/cfp) (deadline unverified, check the call)

## Topics

- requirements modeling
- specification languages
- specification/verification/ certification case studies
- formal calculi
- software design methods
- automatic code generation
- refinement methodologies
- compositional analysis
- tool integration
- benchmarks
- challenge problems
- integrated verification environments

## Speakers

- Roderick Bloem
- Brae Webb
- Ian Hayes
- Mark Utting
- Jacopo Philip Moretti
- Marcin Wojnarowski
- Wieger Wesselink
- Kees Huizing
- Huub van de Wetering
- Thuan Cao
- Stefan Mitsch
- Rachel Papirmeister
- Maria Hwang
- Mark Santolucito

## Related events

- [ECCPM Forum](https://www.luminik.io/events/eccpm-forum/)
- [Formal Methods in Computer-Aided Design (FMCAD)](https://www.luminik.io/events/formal-methods-in-computer-aided-design-352fadda5f18/)
- [Symposium on Theoretical Chemistry (STC)](https://www.luminik.io/events/symposium-on-theoretical-chemistry-d09f15ffaa6d/)
- [APMRS](https://www.luminik.io/events/apmrs/)
- [Meeting of the Austrian Society for Senology](https://www.luminik.io/events/meeting-of-the-austrian-society-for-senology/)
- [Scientific Conference of the German-speaking Mycological Society DMykG together with the Austrian Society for Medical Mycology ÖGMM](https://www.luminik.io/events/scientific-conference-of-the-german-speaking-mycological-society-dmykg-together-with-the-austrian-society-for-medical-mycology-ogmm/)

Source: https://www.luminik.io/events/international-conference-on-verified-software-cd1846261609/