---------------------------------------------------------- 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