28 November 2014, Workshop "Structure and Relations"

No matter how chaotic the world may seem, some of us think that structure is all there is. We are not going to determine whether this view is correct, but we will focus on the requirements for a mathematical foundation that enables us to talk in the most direct way about structure and relations.

Program:
10:00-11:00 F.A. Muller (Erasmus University Rotterdam, Utrecht University), Axiomatising Structure: Why? What? How?
11:00-12:00 Benno van den Berg (University of Amsterdam), Univalent Foundation
12:00-13:00 Lunch
13:00-14:00 Joop Leo (Utrecht University), A new logic of relations
14:00-14:30 Discussion

For more information, contact Joop Leo at joop.leo at uu.nl.