Please note that this newsitem has been archived, and may contain outdated information or links.
29 - 30 October 2020, Logic and Interactive Rationality (LIRa), Erich Grädel
Speaker: Erich Grädel
Title: Semiring Provenance for Logic and Games
Date: 29 - 30 October 2020
Time: 16:30
Location: Online
For more information, see
https://projects.illc.uva.nl/lgc/seminar/2020/09/lira-session-online-only-erich-gradel/.
Please note that this newsitem has been archived, and may contain outdated information or links.