News and Events: Upcoming Events

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

20 December 2021, Nordic Online Logic Seminar, Lars Birkedal

Speaker: Lars Birkedal
Title: Iris: A Higher-Order Concurrent Separation Logic Framework
Date: Monday 20 December 2021
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.