Organized Scientific Events (17 + 7)
Additional events for Enrichment activities with children are listed here.
Future:
-
Postponed:
MCPT: Master Class in Proof Theory - Mathematical and Philosophical
Perspectives on the Interplay between Mathematics and its Foundations
- With: D. Kirst, S. Nagler, R. Paßmann, H. Pillin and Hosea von Hauff
- Funding by the Carl Friedrich von Siemens Stiftung, DMV, MCMP
- Tutorial Speaker: M. Rathjen, P. Schuster and D. Wessel
- Evening Speaker: N. Gratzl, H. Schwichtenberg and M. Seisenberger
-
Postponed:
Fudan Trifft Hamburg 3: Workshop in Logic
(Hamburg, originally planned: 13 - 14 May 2020)
- With: B. Loewe and Ruizhi Yang
- Funding by the partner universities programme of the Universität Hamburg
- Speaker (from Fudan): Yijia Chen, Eberhard Guhe, Zhaokuan Hao, Zachiri McKenzie and Ruizhi Yang
- Speaker (from Hamburg): Stephan Krämer, Moritz Schulz, Lucas Wansner and Han Xiao
-
Postponed to August 2022:
M²SP: Metaphysics meets set-theoretic practice. (Amsterdam)
- Funding by the Beth Foundation
- 6 Speaker (TBC): N. Barton, M. de Ceglie, J. D. Hamkins (TBC), D. Kant, C. J. Rittberg (TBC)
Future (2021):
- Thinking about Proofs: formal, philosophical, linguistical and educational perspectives (Oktober 2021)
-
Scientific impartiality and marginalized groups
(Online/Salzburg, 10. September 2021) Affiliated Workshop to the
SOPhia 2021.
- With: S. Nagler and H. Pillin
-
Disagreements in Mathematics (Online, 19. - 20. June 2021)
- With: C. Rittberg
- Speaker: A. Aberdein, P. Ernest, E. Hunsicker , B. Löwe, G. Priest, Henrik Kragh Sørensen and R. Wagner
- Supported by Marie Skłodowska-Curie grant agreement No 883724.
2021 (3)
Problem Posing for mathematically gifted children (Online, 22. - 23. January 2021)
- With: L. Baumanns, K. Heuer & B. Rott
- Speaker: K. Engel, T. Fritzlar, K. Henning, B. Koichu, I. Kontorovich, U. Leck, R. Leikin, T. M. O. Nielsen and M. Nolte
- Supported by the International Group for Mathematical Creativity and Giftedness
Formalize !?. (Zurich/Online, 16. Januar 2021)
- With: J. A. Pérez-Escobar
- Speaker: K. Buzzard, P. Koepke, P. Iannone, A. Steensen, Fenner S. Tanswell, Athina Thoma
- Supported by the Turing Center
- Offical part of the World Logic Day 2021
Logic & Phil of Math in the evening*. *CET. (Konstanz/Online, 14. January 2021)
- With: D. Kant
- Speaker: Graham Priest, Gil Sagi, Silvia de Toffoli, Jouko Väänänen,
- Offical part of the World Logic Day 2021
2020 (3)
31th Novembertagung on the History and Philosophy of Mathematics (Online/Berlin, 26. - 28. November 2020)
- With: P. Hasselkuß, T. Hirth, D. Kant, T. Schütz and B. Wilck
- Funded by: Research Training Group Philosophy, Science and the Sciences, Chair for Logic and Philosophy of Language, the GDR 3398 "Histoire des mathématiques", GWP, the BSHM, and Ludus.
- Keynote Speaker: T. H. Kjeldse, J. C. Kennedy and D. Schlimm
- Peaknumber of synchronos participants approx. 100 & 33 contributed talks.
Online Masterclass: Lakatos’s Undone WorkThe practical turn and the division of Philosophy of Mathematics and Philosophy of Science (5. - 6. September 2020, Online/London)
- With: S. Nagler and H. Pillin
- Mentors: N. Barton, K. Crowther, J. Kadvany, P. Kitcher, B. Larvor, P. Palacios, C. Rittberg, L. Rossi, W. Wrigley, & L. Zuchowski
- Funding by the LSE
Hamburg Set Theory Workshop 2020: Descriptive Set Theory, Forcing and the Reals. (Hamburg/Online, 20 - 21 June 2020)
- With: M. Gaspar, M. Krueger and B. Loewe
- Funding by the VATFBMUHH
- 8 Speaker: V. Fischer, Y. Khomskii, D. Lecomte, H. Mildenberger, D. Sziráki, W. Wohofsky, J. Zapletal, Z. Vidnyánszky
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)
- With: H. Niehaus and K. Heuer
- Funding by the DMV, UHH, Regiprop-Project and the Beth Foundation.
- 40 Participants and 8 Speakers: C. Antos, N. Bowler, M. Goldstern, V. Gahlen, P. Golin, R. Krapf and D. Soukup
- Opening Talk by: Chr. Reiher (University of Hamburg)
Foundations in Mathematics: Modern Views (Munich, 04. – 07.04.2018)
- With: V.Gahlen, L. Hornischer, S. Nagler, R. Passmann, H. Pillin
- Funding by the SdV, MWP, MCMP, Beth Foundation, ASL and the GAP.
- 90 Participants and 15 Speakers incl. T. Altenkirch, Y. Khomski, P. Mancosu, L. Picollo, H. Schwichtenberg, W. Wohofsky and more
- Opening Talk by S. Hartmann (MCMP / LMU Munich)
Ouroboros. Formal Criteria of Self-Reference in Mathematics and Philosophy (Bonn, 16. – 18.02.2018)
- With B. Grabmayr, R. Krapf and A. Njegomir
- Funding by the HCM, DVMLG, GAP
- 60 Participants and Speakers (12) incl. E. Brendel, A. Cantini, V. Halbach, J. D. Hamkins, P. Koepke, A. Visser, P. Welch and more
- Opening Talk by G. Priest (City University of New York)
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)
- With S. Centrone, S. Negri, and P. Schuster
- Funding: AvH, ASFPG, DVMLG, DLMPST, and GAP
- 28 Speaker incl. P. Aczel, S. Awodey, G. Jäger, D. Prawitz, H. Schwichtenberg and more
- Opening Talk by D. Føllesdal
2016 (1)
FOMUS: Foundations of Mathematics - Univalient Foundations and Set Theory (Bielefeld, 18. – 23.07.16)
- With B. Grabmayr, D. Kant and L. Kühne; special thanks to M. Viehstädt
- Funding: by the ASL, DMV, BMS, ZiF, DVMLG, SdV, GAP and the GI
- Speakers (22): M. Džamonja, J. Ladyman, A. Pitts, M. Rathjen, P. Welch and more
- Videos of the talks are here
- Opening talk by the Fields Medallist V. Voevodsky (Princeton)
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)
- Funding by the SdV
- 36 Participants and 5 Speakers: B. Fisseni, A. Kurji, B. Löwe, L. Schüch and J.U. Wulf
2012 (1)
Forecasting in Science and Economy (Mannheim, 07. – 09.09.12)
- with F. Fan and K. Rehal
- Funding by the BCG, DB, and SdV, among others
- ~ 100 Participants and 11Speakers: including W. Franz and H. v. Storch
- Opening talk by M. Hüther (former leader of the German Council of Economic Experts)