News and Events: Upcoming Events

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

28 February 2022, Nordic Online Logic Seminar, Thierry Coquand

Speaker: Thierry Coquand
Title: Formalization of Mathematics and Dependent Type Theory
Date: Monday 28 February 2022
Time: 16:00-17:30
Location: Zoom

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic .

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