皆様
PhDs in Logicの案内を転送いたします。
北陸先端科学技術大学院大学 石原 哉
--------------------------------------------------------------------------------------------------------------------------------- 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) Piotr Kowalski (University of Wroklaw, Poland) 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=...
Local organisers: Julian Bitterlich, Felix Canavoi, Angeliki Koutsoukou-Argyraki, Daniel Koernlein, Florian Steinberg Technische Universität DarmstadtDepartment of MathematicsLogic GroupSchloßgartenstr. 764289 DarmstadtGermany
---------------------------------------------------------- International Workshop "Mathematics for Computation" (M4C) ----------------------------------------------------------
Time & venue: 8-13 May 2016, Abtei Niederaltaich, Lower Bavaria, Germany
This workshop, to be held on the occasion of Douglas Bridges's 70th birthday in 2015, will focus on recent results in the interplay between mathematics and computation. Please refer to
http://mathematics4computation.org/
for more details such as registration process, abstract submission and student grants.
IMPORTANT DEADLINES
Titles and abstracts: 7th March 2016 Authors notification: 11th March 2016
Applications for student grants: 7th March 2016 Applicants notification: 11th March 2016
Registration closes: 15th March 2016
TOPICS WILL INCLUDE
constructive mathematics type theory formal topology proof theory reverse mathematics proof complexity logic and complexity computable mathematics foundations of mathematics
INVITED SPEAKERS
Josef Berger Ulrich Berger Douglas Bridges Agata Ciabattoni Thierry Coquand Fernando Ferreira Peter Hancock Martin Hyland Angus Macintyre Maarten McKubre-Jordens Yiannis Moschovakis Erik Palmgren Joan Rand-Moschovakis Michael Rathjen Giuseppe Rosolini Giovanni Sambin Monika Seisenberger Bas Spitters Neil Thapen Henry Towsner
PROGRAMME COMMITTEE
Marco Benini Olaf Beyersdorff (chair) Hannes Diener Neil Ghani Hajime Ishihara Helmut Schwichtenberg
ORGANISING COMMITTEE
Basil Karadais Iosif Petrakis Sam Sanders Peter Schuster (chair) Dieter Spreen