Please note that this newsitem has been archived, and may contain outdated information or links.
10 June 2021, Logic and Interactive Rationality (LIRa), Jiatu Li
Speaker: Jiatu Li
Title: Formalization of PAL in Lean
Date: Thursday 10 June 2021
Time: 15:00-16:30
Location: Online
For more information, see
https://projects.illc.uva.nl/lgc/seminar/2021/03/lira-session-jiatu-li/.
Please note that this newsitem has been archived, and may contain outdated information or links.