[logic-ml] Summer School in Dynamic Epistemic Logic, Sapporo (Japan), 20-31 Aug 2018