Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

12-14 October 2016, Foundations of Mathematical Structuralism, Munich, Germany

Date: 12-14 October 2016
Location: Munich, Germany
Deadline: 30 June 2016

The orthodox approach to foundations interprets mathematics in the universe of sets. More recently, however, there have been developments that offer alternatives, such as combining category-theoretic structural methods with type theory to produce a foundation that accounts for the structural aspects of mathematical practice. We are now at a point where the notion of mathematical structure can be elucidated more clearly and its role in the foundations of mathematics can be explored more fruitfully.

The main objective of the conference is to reevaluate the different perspectives on mathematical structuralism in the foundations of mathematics and in mathematical practice.

We invite the submission of abstracts on topics related to mathematical structuralism for presentation at the conference. We will select up to five submissions for presentation at the conference. Submission deadline: 30 June, 2016.

Please note that this newsitem has been archived, and may contain outdated information or links.