Please note that this newsitem has been archived, and may contain outdated information or links.
22 - 23 April 2024, CIBD: Workshop on Theory and Applications of Craig Interpolation and Beth Definability
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.
Invited speakers: Michael Benedikt (University of Oxford, tbc), Raheleh Jalali (Czech Academy of Sciences), Jean Christoph Jung (TU Dortmund University), George Metcalfe (University of Bern), Thomas Place (LaBRI Bordeaux) and Philipp Ruemmer (University of Regensburg).
Participants will be 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).
Please note that this newsitem has been archived, and may contain outdated information or links.