Symposium
SYNASC
’26Timisoara, RomaniaSeptember 14 – 17, 2026
- Formal Methods
Dates & Deadlines
Official page- PaperJun 30passed
- NotificationJul 28passed
- RevisionsSep 44w
- Camera-readyNov 163mo
Notes
- Workshops and special sessions have a separate 2026-07-06 submission deadline
- Camera-ready is for post-proceedings, published after the symposium
Co-located with
Last updated Jul 25, 2026