posted by user: hossein_haeri || 1420 views || tracked by 1 users: [display]

M4C 2016 : Workshop Mathematics for Computation


When May 8, 2016 - May 13, 2016
Where Niederaltaich, Lower Bavaria, Germany
Submission Deadline Mar 7, 2016
Notification Due Mar 11, 2016
Final Version Due Mar 15, 2016
Categories    constructive mathematics   type theory   reverse mathematics   proof theory

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

for more details such as registration process, abstract submission and student grants.


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


constructive mathematics
type theory
formal topology
proof theory
reverse mathematics
proof complexity
logic and complexity
computable mathematics
foundations of mathematics


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


Marco Benini
Olaf Beyersdorff (chair)
Hannes Diener
Neil Ghani
Hajime Ishihara
Helmut Schwichtenberg


Basil Karadais
Iosif Petrakis
Sam Sanders
Peter Schuster (chair)
Dieter Spreen

Related Resources

GECCO 2019   Genetic and Evolutionary Computation Conference
CEC 2019   Congress on Evolutionary Computation
MathSJ 2018   Applied Mathematics and Sciences: An International Journal
EvoApplications 2019   The 22nd International Conference on the Applications of Evolutionary Computation, April 24–26 2019, Leipzig, Germany.
ICEMP--MATEC, Scopus, Ei Compendex 2019   MATEC--2019 8th International Conference on Engineering Mathematics and Physics (ICEMP 2019)--Scopus, Ei Compendex
ISIT 2019   International Symposium on Information Theory
ICMAI--EI and Scopus 2019   2019 4th International Conference on Mathematics and Artificial Intelligence (ICMAI 2019)--EI Compendex and Scopus
CALDAM 2019   5th Annual International Conference on Algorithms and Discrete Applied Mathematics
NCASES 2019   Neural Computation and Applications for Sustainable Energy Systems
EC in Scheduling 2019   Call for a WILEY book chapter proposal on Evolutionary Computation in Scheduling