Please note that this newsitem has been archived, and may contain outdated information or links.
19 September 2019, Logic and Interactive Rationality (LIRa), Erman Acar
Speaker: Erman Acar (VU Amsterdam)
Title: When Satisfiability is easier than Model Checking: A Fragment of Strategy Logic
Date: Thursday 19 September 2019
Time: 16:30-18:00
Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
For more information, see
https://projects.illc.uva.nl/lgc/seminar/2019/08/lira-session-erman-acar/.
Please note that this newsitem has been archived, and may contain outdated information or links.