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

M4C 2016 : Workshop Mathematics for Computation

FacebookTwitterLinkedInGoogle

Link: http://mathematics4computation.org/
 
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

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

Related Resources

ITA 2026   International Congress on Information, Technology and Applications
ECTA 2025   17th International Conference on Evolutionary Computation Theory and Applications
JMC 2025   JOURNAL OF MATHEMATICAL CRYPTOLOGY 2025
Security 2025   Special Issue on Recent Advances in Security, Privacy, and Trust
Ei/Scopus-IPCML 2025   2025 International Conference on Image Processing, Communications and Machine Learning (IPCML 2025)
GECCO 2025   Genetic and Evolutionary Computation Conference
Integrating Embodied Intelligence and Io 2025   Intelligent Computing: Special Issue: Advanced Intelligent Computation for Integrating Embodied Intelligence and IoT Systems
Ei/Scopus-CVCM 2025   2025 6th International Conference on Computer Vision, Communications and Multimedia(CVCM 2025)
AMMS--EI 2025   2025 7th International Applied Mathematics, Modelling and Simulation Conference (AMMS 2025)
FCTA 2025   17th International Conference on Fuzzy Computation Theory and Applications