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 2025/2026, Ubiquity Press, open access
• Workshop on Theory and Applications of Craig Interpolation and Beth Definability (CIBD 2024)
  Amsterdam, April 22-23, 2024

---