[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