ConferenceNijmegen, The NetherlandsAugust 24 – 27, 2027
- Theorem Proving
- Logic
Dates & Deadlines
Official page- Camera-readyMay 319mo
- AbstractTBD
- PaperTBD
- RebuttalTBD
- NotificationTBD
Notes
- Site lists placeholder dates for the abstract, paper, rebuttal, and notification deadlines
Co-located with
Last updated Sep 13, 2026