PhDs in Logic comes to Darmstadt

We are happy to announce that the 8th edition of PhDs in Logic will take place in Darmstadt, Germany, on May 9-11, 2016. It is organised by the Logic Research Group of the Department of Mathematics, Technische Universität Darmstadt.

PhDs in Logic is an annual graduate conference organised by local graduate students. This conference has an interdisciplinary character, welcoming contributions to various topics in Mathematical Logic, Philosophical Logic, and Logic in Computer Science; its aim is to bring together graduate students and researchers as well as to foster contact between graduate students.

The program involves five tutorials by established researchers in different fields as well as 18 short presentations by PhD students on their research. The abstracts can be found in this booklet.

Previous editions of this event took place in Ghent (2009, 2012), Tilburg (2010), Brussels (2011), Munich (2013), Utrecht (2014) and Vienna (2015).

Tutorial Speakers

  • Mirna Džamonja (University of East Anglia, UK):
    Independence Results at the Successors of Singular Cardinals
  • Nina Gierasimczuk (DTU Compute, Denmark):
    Topological Modelling of Knowledge Change
  • Ulrich Kohlenbach (TU Darmstadt, Germany):
    Proof Mining: Proof Interpretations and Their Use in Mathematics
  • Piotr Kowalski (University of Wrocław, Poland):
    Model Theory of Fields with Operators
  • Martin Otto (TU Darmstadt, Germany):
    Bisimulation & Games: Model-Theoretic Aspects

Scientific Committee

Organizing Committee

oranizing committee
From left to right: Angeliki, Felix, Florian, Daniel, Julian.


    You can contact us at

With the generous support of