Birmingham, UKJuly 14, 2025
- Theorem Proving
- Logic
Dates & Deadlines
Official page- PaperMay 17passed
- NotificationMay 29passed
- Camera-readyJul 13passed
Notes
- Submission deadline not reflected on workshop's webpage as of May 10th
Last updated May 17, 2026