Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

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