On Wednesday the 13th of June we will have two PhD defenses.
Malvin Gattinger will defend his thesis
New Directions in Model Checking Dynamic Epistemic Logic
Chenwei Shi will defend his thesis
Both ceremonies will take place in the Aula of the University of Amsterdam and start exactly at 11:00 and 13:00, respectively.