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.