Developer & Engineering
International Conference on Verified Software
The 18th International Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2026) aims to advance software verification through theory, tools, and experiments.
The essentials
Event details
- Dates
- October 2026
- Location
- HS i1 at Inffeldgasse 18, Graz, Austria
- Organiser
- FMCAD Association
- Industry
- Developer & Engineering
Speaking
Call for speakers
This event publishes a call for speakers. The deadline is unverified, so check the call before preparing a submission.
Agenda themes
Topics covered
- 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
On stage
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
Stay on it
Get the next edition
When International Conference on Verified Software announces its next edition, or these dates change, we read it from the organiser's own site. One email when that happens, nothing else.
Plan this event
Work out who to meet here
Luminik sources the attendee picture for an event like International Conference on Verified Software, enriches it against your ICP, and sequences it ahead of the date. Capture at the event writes to Salesforce or HubSpot the same day, and attribution ties the pipeline back to the spend.
Spot something wrong on this page? Report a correction and we will fix it.
Is this your event? Verify it with your work email: one click in your inbox proves it is yours, we approve, and the badge goes up, usually within a day. Prefer the form?