Meetings
- Taming the Infinite: Logic, Algebra, and Constructive Mathematics , Verona, April 20, 2026
- AVM 2023 , Mathematics Institute LMU, 18.01.2023
- Proof and Computation 2022, Kloster Schlehdorf, 30.05.2022-02.06.2022
- ABM Spring Meeting 2018, University of Bern, 26-27.04.2018
- ABM 2017 , Mathematics Institute LMU, 14-15.12.2017
- Mathematics for Computation, Lower Bavaria, 08-13.05.2016
- ABM 2015 , Mathematics Institute LMU, 17-18.12.2015
- Bridges between Financial and Constructive Mathematics, Mathematics Institute LMU, 14.07.2015
- ABM 2014 , Mathematics Institute LMU, 18-19.12.2014
- Proof, Truth, Computation: Summer School on the Interactions between Modern Foundations of Mathematics and Contemporary Philosophy , Chiemsee, Germany 21-25.07.2014
- New Year's Working Day at the Mathematics Institute, Munich, 02.01.2014
- ABM 2011, Mathematics Institute LMU, 15-16.12.2011
Last modified: 22.04.2026