Conference · International Workshop on Static and Runtime Verification Synergies
STARS 2026
Official page- Type
- Conference
- Organisation
- International Workshop on Static and Runtime Verification Synergies
- Location
- Valletta, Malta
- Submissions close
- 16 September 2026
- Takes place
- 23 November 2026
- Found
- 26 September 2026
About this listing
International Workshop on Static and Runtime Verification Synergies. Submissions close 2026-09-16. Held in Valletta, Malta. First edition, on combining static analysis with runtime verification. Full papers of up to fifteen pages in an LNCS-like style appear in formal post-proceedings; talk proposals may present new, preliminary, or published work. Held with SEFM 2026. Topics: verification, formal methods, program analysis. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 8 October 2026. Found via PLFM (pl-fm.github.io).