Home

The international workshop Mathematics for Computation ( $\mathrm{M\raisebox{-.4ex}{4}C}$ ), to be held on the occasion of Douglas Bridges’s 70th birthday in 2015, will focus on recent results in the interplay between formal mathematics and computation. Its scope includes the following topics:

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

Important deadlines

Titles and short 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

The details can be found under Call for presentations and Registration