Meetings

• 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: 16.11.2022