Nijmegen, The NetherlandsAugust 22 – 28, 2027
- Logic
- Types
Dates & Deadlines
Official page- AbstractFeb 157mo
- PaperFeb 227mo
- RebuttalApr 269mo
- NotificationMay 1710mo
- Camera-readyMay 3110mo
Notes
- Deadlines come from the preliminary joint FSCD-CADE timeline published 2026-07-15 and may change
Co-located with
Last updated Jul 24, 2026