Nijmegen, The NetherlandsAugust 24 – 27, 2027
- Theorem Proving
- Logic
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