| |||||||||||||||
M4C 2016 : Workshop Mathematics for Computation | |||||||||||||||
Link: http://mathematics4computation.org/ | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
----------------------------------------------------------
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 |
|