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.

28 November 2014, Workshop "Structure and Relations"

Date: 28 November 2014
Location: Drift 6, room 007, Utrecht, The Netherlands

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 .

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