Workshop
CI-BD-SOQE
’26Lisbon, PortugalJuly 24 – 25, 2026
- Logic
- Theorem Proving
Dates & Deadlines
Official page- PaperMay 11passed
- NotificationMay 25passed
Notes
- Proceedings published as CEUR Workshop Proceedings
Part of
Last updated May 17, 2026
Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination