Second Workshop on Craig Interpolation and Beth Definability
Venue
The workshop will take place on the campus of TU Dortmund University in building Otto-Hahn-Straße 14 (OH14), room E04/05.
Transportation
From the Basecamp Hotel in the City Center, there are basically two options to reach the venue, both taking around 30 minutes:
- Via train: S1 from Dortmund main station to Dortmund University
- Via Metro/Bus: From Subway Station “Reinoldikirche” with U42 (in direction Hombruch) to stop “An der Palmweide”, and then change to Bus 445 or 462
The following map shows how to reach the venue from the respective stops.
Schedule
Wednesday, 27 November 2024
| 9:00 - 09:10 | Welcome Editors |
| 9:10 - 10:00 | Invited Talk Amir Tabatabei Interpolation and Proof Complexity |
| 10:00 - 10:30 | Coffee Break |
| 10:30 - 11:00 | Foundations Patrick Koopmann, Christoph Wernhard, & Frank Wolter Propositional Logic Balder ten Cate Modal Logic Balder ten Cate & Jesse Comer First-Order Logic |
| 11:00 - 12:00 | Free Discussions |
| 12:00 - 12:30 | Methods 1 George Metcalfe Algebra Rahaleh Jalali & Roman Kuznets Interpolation and Proof Theory Christoph Wernhard Automated Reasonin |
| 12:30 - 13:00 | Free Discussions |
| 13:00 - 14:00 | Lunch |
| 14:00 - 14:50 | Invited Talk Johan van Benthem Interpolation in Philosophy |
| 14:50 - 15:20 | Coffee Break |
| 15:20 - 15:50 | Methods 2 Sam van Gool Uniform Interpolation Jouko Väänänen Model Theory Frank Wolter Separation and Interpolation |
| 15:50 - 17:00 | Free Discussions |
| 19:00 | Joint Dinner |
Thursday, 28 November 2024
| 9:00 - 09:40 | Applications Jean Jung & Patrick Koopmann Interpolation in Knowledge Representation Philipp Rümmer Verification Michael Benedikt Databases |
| 09:40 - 10:10 | Coffee Break |
| 10:10 - 11:00 | Invited Talk Graham Leigh Fixed Point Logics & Cyclic Proofs |
| 11:00 - 12:00 | All Looking into the Future & Closing |