Two PhD defenses: Malvin Gattinger and Chenwei Shi

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

Reason to Believe

Both ceremonies will take place in the Aula of the University of Amsterdam and start exactly at 11:00 and 13:00, respectively.

There will also be a related workshop on the day before.