From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8730 Path: news.gmane.org!not-for-mail From: Thomas Streicher Newsgroups: gmane.science.mathematics.categories Subject: PhDs in Logic VIII, Darmstadt May 9-11, 2016 Date: Wed, 4 Nov 2015 14:51:16 +0100 Message-ID: Reply-To: Thomas Streicher NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1446746879 9044 80.91.229.3 (5 Nov 2015 18:07:59 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 5 Nov 2015 18:07:59 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Thu Nov 05 19:07:51 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ZuOww-0004cB-C0 for gsmc-categories@m.gmane.org; Thu, 05 Nov 2015 19:07:51 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:54479) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ZuOvY-0001AZ-Bq; Thu, 05 Nov 2015 14:06:24 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1ZuOvY-0001cy-5g for categories-list@mlist.mta.ca; Thu, 05 Nov 2015 14:06:24 -0400 Content-Disposition: inline Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8730 Archived-At: PhDs in Logic VIII Call for submissions May 9-11, 2016, Darmstadt, Germany http://www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/?site=home "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. Registration and abstract submission for interested PhD students are now open. We welcome contributions from any general field of Logic. Important dates: -February 7, 2016: deadline for submissions -April 2, 2016: author notification -April 30, 2016: registration closes 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) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]