Please note that this newsitem has been archived, and may contain outdated information or links.
5 December 2012, LIRa-affiliated lunch talk, Torben Brauner
Speaker: Torben Brauner (Roskilde University)
Title: Hybrid-Logical Proof-Theory: With an Application to Reasoning in False-Belief Tasks
Date: Wednesday 5 December 2012
Time: 12:00-13:00
Location: Room D1.115, Science Park 904, Amsterdam
For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1736
Please note that this newsitem has been archived, and may contain outdated information or links.