[logic-ml] International Workshop "Mathematics for Computation" (M4C)

[Hajime Ishihara]

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