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