Please note that this newsitem has been archived, and may contain outdated information or links.
11 - 12 May 2023, The Strength of Weak Type Theory
Date: 11 - 12 May 2023
Time: 10:00-17:00
Location: Amsterdam Science Park, Amsterdam
On May 11 and 12 we will have an informal workshop devoted to weak type theories. Speakers include: Rafael Bocquet, Matteo Spadetto, Sam Speight and Theo Winterhalter.
For more information, see
https://dutchcats.github.io
or contact Benno van den Berg at bennovdberg at gmail.com.
Please note that this newsitem has been archived, and may contain outdated information or links.