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.

21 February 2013, Logic and Interactive Rationality (LIRa), Kaile Su

Speaker: Kaile Su (Peking University & 'Future Fellow' Griffith University)
Title: Model Checking Epistemic Logic with MCTK
Date: Thursday 21 February 2013
Time: 15:30-17:30
Location: Room D1.115, Science Park 904, Amsterdam

For more information, see http://www.illc.uva.nl/lgc/seminar

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