Please note that this newsitem has been archived, and may contain outdated information or links.
27 October 2026, DutchCATS
Date: Tuesday 27 October 2026
Time: 13:00-17:00
Location: Room G0.18A, Science Park 508, Amsterdam [NL]
Costs: Free
The Dutch Categories And Types Seminar is an inter-university seminar on type theory, category theory, and the interaction between these two fields. It provides a forum for discussion, collaboration, and dissemination to researchers in type theory and category theory working in the Netherlands.
For more information, see
https://dutchcats.github.io/
or contact Benno van den Berg at b.vandenberg3 at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.