Workshops
Three two days workshops will be organized on 15-16th April, 3-4th June, 17th-18th June.
The first workshop (15-16th April 2016) will be devoted to the relationship between mathematics and philosophy of mathematics.
The second workshop (3-4th June 2016) will be devoted to proofs, justifications and certificates.
The third workshop (17th June 2016) will be devoted to the relationship between philosophy (for instance, pragmatism) and philosophy of mathematics.