Page 183 - Jahresbericht 2018

KREATIVE KLIMAPOLITIK UND TRANSFORMATIONSPROZESSE Possenhofen 23.3. bis 25.3.2018 | 56 Teilnehmerinnen und Teilnehmer Konzeption und Organisation: Mayra Buschle (München), Lukas Gast (Cambridge/Großbritannien), Christopher Olk (London/Großbritannien, Alumnus) PLENARVERANSTALTUNGEN Aspekte der Industriewende Andrej Guminski, Forschungsstelle für Energiewirt- schaft e. V., München Impulsreferat: Energiewende, Herausforderungen und Innovationen Prof. Dr. Florian Bieberbach, TU München Überblick über die internationale Klimapolitik Dr. Christoph Mainberger, Auswärtiges Amt, Berlin ARBEITSGRUPPEN Bürgerproteste in der Energiewende Julia Zilles, Universität Göttingen Design Thinking Workshop Steffen Dehn, freiberuflicher Coach, Stuttgart Digitalisierung des Energiesystems und Nachhal­ tigkeit Simon Köppl, Forschungsstelle für Energiewirt- schaft e. V., München Herausforderungen und Chancen der sektorüber­ greifenden Energiewende Johannes Wunderlich, TU Berlin FOUNDATIONS IN MATHEMATICS: MODERN VIEWS – MATHEMATICAL AND PHILOSOPHICAL PERSPECTIVES ON THE INTERPLAY OF MATHEMATICS AND ITS FOUNDATIONS München 4.4. bis 7.4.2018 | 69 Teilnehmerinnen und Teilnehmer Konzeption und Organisation: Vera Gahlen (Freiburg, Alumna), Levin Hornischer (Amsterdam/Niederlande, Alumnus), Simon Nagler (Mün- chen), Robert Paßmann (Amsterdam/Niederlande), Hannah Pillin (München), Deniz Sarikaya (Hamburg) Stipendiatinnen und Stipendiaten machen Programm PLENARVERANSTALTUNGEN Bishop’s Constructivism in Foundations and Practice of Mathematics Dr. Iosif Petrakis, LMU München De re and de dicto Knowledge in Mathematics: Two Case Studies from Mathematical Practice Dr. Marianna Antonutti Marfori, LMU München Frege’s Logicism and the Neologicists Dr. Lavinia Picollo, LMU München Generalized Cantor Space and Compactness Dr. Wolfgang Wohofsky, Universität Kiel Introduction to (Homotopy) Type Theory Prof. Dr. Thorsten Altenkirch, University of Nottingham/Großbritannien Iteration and Dependence Again Dr. Luca Incurvati, Universiteit van Amsterdam / Niederlande Neologicist Foundations: Inconsistent Abstraction Principles and Part­whole Prof. Dr. Paolo Mancosu, University of California, Berkeley/USA Proof and Computation Prof. Dr. Helmut Schwichtenberg, LMU München Regularity and De nability in the Real Number Continuum Dr. Yurii Khomskii, Universität Hamburg What is Mathematical Philosophy? Prof. Dr. Stephan Hartmann, LMU München 184 Veranstaltungsverzeichnis