26. Apr Understanding mathematical proofs from a planning perspective Speaker: Yacin Hamami (ETH Zürich) 11:45 - 13:15 D 435
03. May Pulling and Pushing Mohist Logic Speaker: Mike Beany (University of Aberdeen) 11:45 - 13:15 D 435
10. May Manfred Kupffer (Talk Title TBA) Speaker: Manfred Kupffer (University of Konstanz) 11:45 - 13:15 D 435