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.

8 - 12 April 2019, 6th Workshop on Formal Topology (6WFTop), Birmingham, England

Date: 8 - 12 April 2019
Location: Birmingham, England

These workshops date back to 1997, and cover point-free topology, broadly interpreted, and its logical foundations. There is always a lively and fruitful interaction between different communities from mathematics, logic and computer science, and the meetings have proved fertile ground for developing commonalities between different foundational approaches such as predicative type theory, toposes and constructive set theory.

The main parts of the programme are:
- A tutorial day on the Monday around the theme "What is a space?". Matthieu Anel and Benedikt Ahrens will introduce the ideas of toposes and univalent type theory.
- Talks from invited speakers: Ingo Blechschmidt, Olivia Caramello, Maria Manuel Clementino, Tatsuji Kawai, Peter Johnstone and Giovanni Sambin.
- Contributed talks from other participants - if you wish to offer one, please submit an abstract.

For more information, see http://www.cs.bham.ac.uk/~sjv/6WFTop/.

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