To path indicator Subpages of “Newsdetail“ To navigation To quick access To footer with other services
To content
Department of Com­pu­ter Science
Studierende sitzt am Arbeitsplatz und schaut auf den Laptop. © Aliona Kardash​/​TU Dortmund

2nd Workshop on Craig Interpolation and Beth Definability, Nov 27-28th

news-icon conference © TU Dortmund
On November 27-28th, the Knowledge-Based Systems Group of Chair 1 will host the 2nd workshop on Craig Interpolation and Beth Definability.

We are very pleased to welcome guests from Germany and abroad. The highlights are the following two invited talks:

  • Nov 27th, 2:00 pm, OH 14, E04/05: Johan van Benthem (University of Amsterdam, Stanford University, Tsinghua University Beijing): Interpolation in Philosophy
  • Nov 28th, 10:10 pm, OH 14, E04/05: Graham Leigh (University of Gothenburg): Fixed Point Logics and Cyclic Proofs

All faculty members are welcome to join.

Please contact Jean Christoph Jung (jean.jungtu-dortmundde) in case of questions.

To top of page