Developer & Engineering
SAC Symposium VI
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.
The essentials
Event details
- Dates
- October 2026
- Location
- Colorado School of Mines, United States
- Organiser
- ACM Special Interest Group on Applied Computing
- Industry
- Developer & Engineering
Agenda themes
Topics covered
- Science & Research
- Education & Training
On the floor
Sponsor
- ACM Special Interest Group on Applied Computing (SIGAPP)
Keep planning
Related events
Spot something wrong on this page? Report a correction and we will fix it.