Please note that this newsitem has been archived, and may contain outdated information or links.
27 September 2013, Master of Logic defense, Vlasta Sikimic
Candidate: Vlasta Sikimic
Title: Towards a Proof-Theoretic Semantics for Dynamics Logics
Date: Friday 27 September 2013
Time: 14:00
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Alessandra Palmigiano and Giuseppe Greco
For more information, please contact T.Kassenaar at uva.nl
Please note that this newsitem has been archived, and may contain outdated information or links.