Workshop on Theory and Applications of Craig Interpolation and Beth Definability (CIBD 2024)

The aim of this workshop is to bring together experts from different research communities (such as proof theory, model theory, proof complexity, verification, database theory, knowledge representation, automated reasoning, automata theory, philosophy, linguistics) in order to discuss and disseminate recent and ongoing research pertaining to Craig interpolation and Beth definability.

The workshop will take place in Amsterdam on April 22-23, 2024.

Invited Speakers

Michael Benedikt University of Oxford, UK
Raheleh Jalali Czech Academy of Sciences, Czech Republic
Jean Christoph Jung TU Dortmund University, Germany
George Metcalfe University of Bern, Switzerland
Thomas Place LaBRI, France
Philipp Rümmer University of Regensburg, Germany


Attendance is free. There is limited funding available to support travel and accommodation costs of participants. Participants are also given the opportunity to give short presentations, selected by relevance and quality on the basis of a submitted abstract, as well as availability of slots. Abstracts should be at most one page using the easychair LaTeX style, and, if accepted for presentation, will be published on the webpage of the event (not as a formal proceedings).

If you are interested in attending, and would like to apply for funding and/or give a presentation at the workshop, please register by March 15 using this form.

For more information, please contact or any of the other organizers.


Balder ten Cate University of Amsterdam, The Netherlands
Patrick Koopmann Vrije Universiteit Amsterdam, The Netherlands
Christoph Wernhard University of Potsdam, Germany
Frank Wolter University of Liverpool, UK

Supported by a grant from the Evert Willem Beth Foundation and funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – Project-ID 457292495.