Monday, January 11, 2016

[DMANET] Second Call for submissions: PhDs in Logic VIII, Darmstadt, Germany, May 9-11, 2016

Dear logicians,

we would like to inform you about the following event :

Second Call for submissions: PhDs in Logic VIII, Darmstadt, Germany, 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)

Piotr Kowalski (University of Wroclaw, Poland)

Martin Otto (TU Darmstadt, Germany)

Registration and abstract submission for interested PhD students are
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 Körnlein, 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

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************