Please note that this newsitem has been archived, and may contain outdated information or links.
13 June 2018, PhD Defense, Malvin Gattinger
Candidate: Malvin Gattinger
Title: New Directions in Model Checking Dynamic Epistemic Logic
Date: Wednesday 13 June 2018
Time: 11:00
Location: UvA Aula, Singel 411, Amsterdam
Promotor: Prof.dr. D.J.N. van Eijck
Copromotor: Prof.dr. K. Su and Dr. Alexandru Baltag
For more information, see
https://malv.in/phdthesis/
or contact Malvin Gattinger at malvin at w4eg.eu.
Please note that this newsitem has been archived, and may contain outdated information or links.