<div dir="auto"><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr"><br></div><br><div dir="ltr">WORKSHOP ON THEORY AND APPLICATIONS OF CRAIG INTERPOLATION AND BETH<br>DEFINABILITY (CIBD)<br><br><a href="https://cibd.bitbucket.io/" target="_blank" rel="noreferrer">https://cibd.bitbucket.io/</a><br><br>The aim of this workshop is to bring together experts from different<br>research communities (such as proof theory, model theory, proof<br>complexity, verification, database theory, knowledge representation,<br>automated reasoning, automata theory, philosophy, linguistics) in<br>order to discuss and disseminate recent and ongoing research<br>pertaining to Craig interpolation and Beth definability.<br><br>The workshop will take place in Amsterdam on April 22-23, 2024.<br><br>INVITED SPEAKERS<br><br>* Michael Benedikt (University of Oxford, tbc)<br>* Raheleh Jalali (Czech Academy of Sciences)<br>* Jean Christoph Jung (TU Dortmund University)<br>* George Metcalfe (University of Bern)<br>* Thomas Place (LaBRI Bordeaux)<br>* Philipp Ruemmer (University of Regensburg)<br><br>REGISTRATION<br><br>Attendance is free. There is limited funding available to support travel <br>and accommodation costs of participants. Participants are also given<br>the opportunity to give short presentations, selected by relevance and<br>quality on the basis of a submitted abstract, as well as availability<br>of slots. Abstracts should be at most one page using the easychair<br>LaTeX style, and, if accepted for presentation, will be published on<br>the webpage of the event (not as a formal proceedings).<br><br>If you are interested in attending, and would like to apply for<br>funding and/or give a presentation at the workshop, please register by<br>March 15 using the form specified at the workshop webpage<br><a href="https://cibd.bitbucket.io/" target="_blank" rel="noreferrer">https://cibd.bitbucket.io/</a>.<br><br>For more information, please contact <a href="mailto:b.d.tencate@uva.nl" target="_blank" rel="noreferrer">b.d.tencate@uva.nl</a> or<br>any of the other organizers.<br><br>ORGANIZERS<br><br>Balder ten Cate (University of Amsterdam)<br>Patrick Koopmann (VU Amsterdam)<br>Christoph Wernhard (University of Potsdam)<br>Frank Wolter (University of Liverpool)<br clear="all"><div><br></div></div>
</div></div>