Spotlights
’26WorkshopHong Kong SAR, ChinaDecember 1, 2026
- Verification
- Formal Methods
Dates & Deadlines
Official page- AbstractOct 157d
- NotificationOct 222w
Notes
- New in 2026, modelled on Highlights: 1-2 page abstracts for ~10 minute talks on published or ongoing work; no proceedings
- Abstract deadline extended from October 8; HotCRP still shows the old date
Co-located with
Last updated Oct 8, 2026