Please note that this newsitem has been archived, and may contain outdated information or links.
16 February 2023, Logic and Interactive Rationality (LIRa), Jos Baeten
Speaker: Jos Baeten (CWI)
Title: Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
Date: Thursday 16 February 2023
Time: 16:30-18:00
Location: ILLC seminar room F1.15 in Science Park 107 and online
For more information, see
https://projects.illc.uva.nl/lgc/seminar/2023/01/lira-session-jos-baeten/.
Please note that this newsitem has been archived, and may contain outdated information or links.