Organized Scientific Events (14 + 10)


Future (2021):

2020 (3)

31th Novembertagung on the History and Philosophy of Mathematics (Online/Berlin, 26. - 28. November 2020)

Hamburg Set Theory Workshop 2020: Descriptive Set Theory, Forcing and the Reals. (Hamburg/Online, 20 - 21 June 2020)

2019 (1)

TDPhiMa: Text-driven Approaches to the Philosophy of Mathematics (Prag, 07.08.2019), Contributed symposium to the CLMPST 2019

  • With: C. Antos and D. Kant
  • Funding by the DVMLG and GWP
  • 8 Speakers: M. Cramer, B. Fisseni, J. L. Gastaldi, K. Heuer, M. Inglis, M.W. Johansen, J. P. Mejía-Ramos, A. Steensen and F.S. Tanswell

2018 (3)

DMV-Studierendenkolleg: UnDecidability (Hamburg, 29. - 30.06.2018)

Foundations in Mathematics: Modern Views (Munich, 04. – 07.04.2018)

Ouroboros. Formal Criteria of Self-Reference in Mathematics and Philosophy (Bonn, 16. – 18.02.2018)

2017 (2)

Philosophische Fragen der Flüchtlingssituation [Philosophical Questions of the refugee crisis] (Berlin, 23. - 25.06.17)

  • With A. Halilović, M. D. Nguyen, M. Sarikaya and M. Trutić
  • Funding by the SdV (Programmlinie: Stipendiaten machen Programm), „Willkommen Aktiv“ of the START-Stiftung and the Hertie Stiftung, the Joachim Herz Stiftung and the START-Alumni e.V.
  • Speaker (11): C. Hentschel, C. Neuhäuser, N. Paulo, C. Schamberger, F. Vidal, and more
  • Written Greetings by J. Gauck (Bundespräsident a.D.)

Humboldt-Kolleg Proof Theory as Mathesis Universalis (Loveno di Menaggio, Como, Italy; 24. - 28.07.17)

2016 (1)

FOMUS: Foundations of Mathematics - Univalient Foundations and Set Theory (Bielefeld, 18. – 23.07.16)

2015 (2)

International Summer Academy 2015 - Transnational Organisierte Kriminalität und ihre Herausforderungen [Transnational Crime and its challenges for society] (Berlin, 22. – 29.08.15)

  • With H. Focken, E. Loose, K. Lunz, R. Swalve (PI), A. v. Voß (PI) and F. Woitek
  • Funding by the DAAD and TK
  • >15 Speakers incl. D. Herrmann, C. Grothoff and U. Helmbrecht and more
  • Under the patronage of justice minister H. Maas (SPD)

Unfehlbarkeit durch Formalismus? [Infallibility by Formalism?] (Bonn, 13. - 15.03.15)

  • With S. Blessenohl, D. Kant and L. Kühne
  • Funding by the SdV and the DMV
  • ~ 80 Participants and 10 Speakers incl. S. Centrone, P. Koepke, C. Reiher, S. Schultz and more
  • Opening talk by G. Gonthier (formalized the 4-color theorem and the odd-order theorem)

2013 (1)

Formal Methods in Narratology (Hamburg, 08. – 10.03.13)

2012 (1)
Forecasting in Science and Economy (Mannheim, 07. – 09.09.12)

Events for Science Communication and pupil development (5)


List of ​abbreviations

Alexander von Humbold-Foundation (AvH), Altonaer Stiftung für Philosophische Grundlagenforschung (ASPG), Association for Symbolic Logic (ASL), Association of German Mathematicians (DMV), Berlin Mathematical School (BMS), Boston Conulting Group (BCG), British Society for the History of Mathematics (BSHM), Center of Interdisciplinary Research (ZiF), Dürr Stiftung Hamburg, Deutsche Bahn AG (DB), Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG), Fachbereich Grundlagen der Informatik of the German Informatics Society (GI), German Academic Merit Foundation (SdV) (Stipendiaten machen Programm), Hertie Stiftung, German Society for Analytic Philosophy (GAP), German Society for Philosophy of Science (GWP), Joachim Herz Stiftung, Ludus association (Ludus), START-Stiftung, START-Alumni e.V., Tönissteiner Kreis (TK), Verein zur Ausrichtung von Tagungen am Fachbereich Mathematik der Universität Hamburg (VATFBMUHH)