21. Jun Bluebell: a modal logic to reason about probabilistic programs (Joint talk with Uni Konstanz Logikkolloquium) Speaker: Emanuele D'Osualdo (University of Konstanz) 11:45 - 13:15 D 435
20. Jun World Refugee Day - ACTIN launch event Speaker: 6 refugees and migrants in Ireland; ACTIN partners 16:00 - 17:00 Online
20. Jun Natural variation of autophagy in Arabidopsis thaliana Speaker: Svetlana Boycheva-Woltering, Plant Physiology and Biochemistry, University of Konstanz 12:15 - 13:00 Room M629, University of Konstanz & Online
20. Jun Seminar in Empirical Microeconomics - The Impact of Female Teachers on Female Students' Lifetime Well-Being Speaker: Seth Sanders (Cornell University) 12:00 - 13:15 F428