Time: 2018 Mar. 16, 13:30-16:05 Venue: Xinzhai 301, Tsi […] [talk] Logics for visual-epistemic reasoning in multi-agent systems (Valentin Goranko)
