# SAC Symposium VI

- Dates: October 2026
- Location: Colorado School of Mines, United States
- Organiser: ACM Special Interest Group on Applied Computing
- Industry: Developer & Engineering

## About

The SAC Symposium VI is the Symposium on Applied Computing, Software Verification and Testing track of ACM Symposium on Applied Computing. The track invites submissions on improving the usability of formal methods in software engineering and welcomes research papers and posters, for researchers and authors interested in formal verification and testing.

## Official links

- [Official website](https://sac-svt.github.io/sac-svt-2026/)

## Topics

- Science & Research
- Education & Training

## Sponsors and partners

- ACM Special Interest Group on Applied Computing (SIGAPP)

## Related events

- [Google I/O Extended Pwani 2026](https://www.luminik.io/events/google-i-o-extended-pwani-mombasa/)
- [International Conference on Software Engineering and Computer Science (ICSECS)](https://www.luminik.io/events/international-conference-on-software-engineering-and-computer-science-1a085a31b2d4/)
- [ACCESS - Microsoft's Desktop Database Intensive (5 Half-Days)](https://www.luminik.io/events/access-microsoft-s-desktop-database-intensive/)
- [Bootstrap Conference](https://www.luminik.io/events/bootstrap-conference-london/)
- [Spring Real-Time Workshop Olympia](https://www.luminik.io/events/spring-real-time-workshop-olympia/)
- [build:mode by visux - edition 01](https://www.luminik.io/events/build-mode-by-visux-edition-01-warszawa/)

Source: https://www.luminik.io/events/sac-symposium-vi/