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 .
For more information, see
https://scandinavianlogic.org/2022-02-09-NOL-Seminar-Thierry-Coquand.html
or contact Val Goranko at valentin.goranko at philosophy.su.se.
Please note that this newsitem has been archived, and may contain outdated information or links.