Logic List Mailing Archive

CfP: CIBD: Workshop on Craig Interpolation and Beth Definability, 22-23 April 2024, Amsterdam (The Netherlands)

WORKSHOP ON THEORY AND APPLICATIONS OF CRAIG INTERPOLATION AND BETH
DEFINABILITY (CIBD)

https://cibd.bitbucket.io/

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, tbc)
* Raheleh Jalali (Czech Academy of Sciences)
* Jean Christoph Jung (TU Dortmund University)
* George Metcalfe (University of Bern)
* Thomas Place (LaBRI Bordeaux)
* Philipp Ruemmer (University of Regensburg)

REGISTRATION

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 the form specified at the workshop webpage
https://cibd.bitbucket.io/.

For more information, please contact b.d.tencate@uva.nl<mailto:b.d.tencate@uva.nl> or
any of the other organizers.

ORGANIZERS

Balder ten Cate (University of Amsterdam)
Patrick Koopmann (VU Amsterdam)
Christoph Wernhard (University of Potsdam)
Frank Wolter (University of Liverpool)

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php