9-11 May 2016
Darmstadt, Germany
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. For PhD students who are interested to attend *registration is open until April 30 2016* (abstract submission is closed) Tutorial speakers: Mirna D?amonja (University of East Anglia, UK) Nina Gierasimczuk (University of Amsterdam, the Netherlands) Ulrich Kohlenbach (TU Darmstadt, Germany) Piotr Kowalski (University of Wroc?aw, Poland) Martin Otto (TU Darmstadt, Germany) Scientific Committee: Kord Eickmeyer (TU Darmstadt, Germany) Vassilis Gregoriades (TU Darmstadt, Germany) Erich Grädel (RWTH Aachen, Germany) Hajime Ishihara (JAIST, Kanazawa, Japan) Ulrich Kohlenbach (TU Darmstadt, Germany) Hannes Leitgeb (LMU München, Germany) Øystein Linnebo (University of Oslo, Norway) Catuscia Palamidessi (INRIA, France) Stephen Read (University of St. Andrews, UK) Thomas Streicher (TU Darmstadt, Germany) Jakub Szymanik (University of Amsterdam, the Netherlands) Luca Viganò (King's College London, UK) Martin Ziegler (KAIST, South Korea) 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 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam