Project workshops and conferences:
(8-13 May 2016) Lower Bavaria, DE
The international workshop Mathematics for Computation, 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.
(24-27 March 2014) Università degli Studi di Genova
This workshop aims at bringing together the participants and those researchers who are interested in the themes of the project.