Craig Interpolation and Beth Definability
- Book Project:
Theory and Applications of Craig Interpolation
Edited by Balder ten Cate, Jean Christoph Jung, Patrick Koopmann,
Christoph Wernhard and Frank Wolter.
To appear in spring 2026,
Ubiquity Press, open access
- CI-BD-SOQE
2026:, Workshop on Craig Interpolation, Beth Definability, and
Second-Order Quantifier Elimination
At FLoC 2026, Lisbon
July 24–25, 2026
- CIBD 2024:
Workshop on Theory and Applications of Craig Interpolation and Beth
Definability
Amsterdam, April 22-23, 2024