Mo Liu (Cello team) will defend his thesis on Friday, June 23rd at 10 am in room C005, with a presentation entitled Dynamic epistemic logic with quantification and normative systems.