10.00-10.50 Burcu Arslan Where is the chocolate? Modeling Development of Reasoning about False Belief of Others

10.50-11.40 Thomas Bolander Formalising the Sally-Anne Task in Dynamic Epistemic Logic

11.40-12.30 Stefan Wierda Modelling Theory of Mind in AC Transfer

12.30-13.30 Lunch

13.30-14.20 Torben Braüner Hybrid-Logical Proofs: With an Application to False-Belief Tasks

14.20-15.10 Nina Gierasimczuk  A logical model for Deductive Mastermind

15.10-16.30 Summary & Discussion