Please note that this newsitem has been archived, and may contain outdated information or links.
18 December 2023, Nordic Online Logic Seminar, Göran Sundholm
Speaker: Göran Sundholm
Title: Curry-Howard—a meaning explanation or just another realizability interpretation?
Date: Monday 18 December 2023
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. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic .
For more information, see
https://scandinavianlogic.org/2023-12-02-NOL-Seminar-Göran-Sundholm.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.