Home Country City Topics All Events Blog Add Event Promote
✖
Home Country City Topics All Events Blog Add Event Promote
This event has ended. It took place on 6–7 October 2025; the details are kept for reference. See upcoming Engineering and Technology conferences ↓
Past event Conference Engineering and Technology

17th International Conference on Verified Software: Theories, Tools, and Experiments

6–7 October 2025 California, USA

Dates
6 October 2025 – 7 October 2025
Location
California, USA
Venue
Menlo Park
Organizer
VSTTE
Event type
Conference
Contact person
Admin
Listing ID
CI16438
Visit official website → Email the organizer
Share: WhatsApp LinkedIn X Email

Featured conference

Featured23Nov2026World Congress on Emerging Trends in Artificial Intelligence (WCETAI)Sydney, Australia · Engineering and Technology

About this conference

17th International Conference on Verified Software: Theories, Tools, and Experiments is a conference on Engineering and Technology that took place on 6–7 October 2025 in California, USA, organized by VSTTE.

VSTTE 2025 welcomes submissions describing significant advances in the production of verified software, i.e. software that has been proved to meet its functional specifications. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We also welcome papers describing novel experiments and case studies evaluating verification techniques and technologies.

Dates and details are provided by the organizer. Always confirm on the official website before registering or booking travel.

Guides for conference attendees

All guides →