ConferenceKraków, PolandJuly 5 – 9, 2027
- Automata
- Logic
- Semantics
Dates & Deadlines
Official pageTrack B Round 1
- PaperSep 156d
- RebuttalNov 92mo
- NotificationDec 83mo
Track B Round 2 / Track A
- PaperTBD
Notes
- Track B (Automata, Logic, Semantics, and Theory of Programming) uses a two-round process; Track A has a single round sharing the Round 2 deadlines
Last updated Sep 1, 2026