Conference · Spotlights of Verification
Spotlights 2026
Official page- Type
- Conference
- Organisation
- Spotlights of Verification
- Location
- Hong Kong, China
- Submissions close
- 8 October 2026
- Takes place
- 1 December 2026
- Found
- 26 September 2026
About this listing
Spotlights of Verification. Submissions close 2026-10-08. Held in Hong Kong, China. Short talks of about ten minutes across the theory and practice of computer-aided formal analysis, modelled on Highlights. Recently published, forthcoming, and ongoing work are all welcome. Held with ATVA 2026. Topics: verification, formal methods, model checking, program analysis. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).