[TYPES/announce] PhD in Logic 2016

Thomas Streicher streicher at mathematik.tu-darmstadt.de
Thu Nov 5 08:32:15 EST 2015


We would like to announce the following event:

Call for submissions: PhDs in Logic VIII, Darmstadt, May 9-11, 2016

"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. It involves tutorials by established
researchers as well as short presentations by PhD students on their
research.

We are happy to announce that the next edition of "PhDs in Logic" will
take place in Darmstadt, Germany, during May 9-11 2016, hosted by the
Logic research group of the Department of Mathematics, TU Darmstadt.

Confirmed tutorial speakers are :

Mirna Dzamonja (University of East Anglia, UK)
Nina Gierasimczuk (University of Amsterdam, the Netherlands)
Ulrich Kohlenbach (TU Darmstadt, Germany)
Martin Otto (TU Darmstadt, Germany)

Registration and abstract submission for interested PhD students are
now open. We welcome contributions from any general field of Logic.
The deadline for abstract submission is February 7, 2016. For more
information please see:
http://www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/?site=home

Local organisers:

Julian Bitterlich, Felix Canavoi, Angeliki Koutsoukou-Argyraki,
Daniel Koernlein, Florian Steinberg

Technische Universität Darmstadt
Department of Mathematics
Logic Group 
http://www3.mathematik.tu-darmstadt.de/en/ags/ag-logik/arbeitsgruppe-logik.html

Schloßgartenstr. 7
64289 Darmstadt
Germany


More information about the Types-announce mailing list