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.

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 .

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