Kraków, PolandJuly 5 – 9, 2027
- Automata
- Logic
- Semantics
Dates & Deadlines
Official pageTrack B Round 1
- PaperSep 153w
- RebuttalNov 93mo
- NotificationDec 84mo
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 Aug 15, 2026