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.

Official website

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

Plan this event

Work out who to meet here

Luminik sources the attendee picture for an event like SAC Symposium VI, 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.

Book a 20-min walkthrough

Spot something wrong on this page? Report a correction and we will fix it.