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 (2022+):
- Formalize!(?) - 2 (January 15, 2022)
- With: J. A. Pérez-Escobar
- Offical part of the World Logic Day 2022
- Speaker: Merlin Carl, Bernhard Fisseni, Dominik Kirst, Gisele Secco, Bernhard Schröder, Anna Steensen
- WLD Haifa: Paths in Logic (January 13, 2022)
- With: B Grabmayr
- Offical part of the World Logic Day 2022
- Speaker: Thorsten Altenkirch, Menachem Magidor, Lavinia Picollo, more TBA
Future (2021):
- Thinking about Proofs: formal, philosophical, linguistical and educational perspectives (27. September 2021)
- Affiliated Minisymposium to the DMV and ÖMG-annual meeting.
- Speaker: Neil Barton, Paola Iannone, Bernhard Schröder, Athina Thoma and Keith Weber
2021 (6)
Scientific impartiality and marginalized groups (Online/Salzburg, 10. September 2021) Affiliated Workshop to the SOPhia 2021.
- With: S. Nagler and H. Pillin
- Speaker: Sally Haslanger, Eugénie Hunsicker, Lara Jost, Vlasta Sikimić
TDPhiMa2: Text-Driven Approaches to the Philosophy of Mathematics 2 (Online/Essen, 1. - 3. September 2021)
- With: Bernhard Fisseni, Deborah Kant and Bernhard Schröder
- Speaker: Jeremy Avigad, Silvia De Toffoli, Michael Friedman, Benedikt Loewe, Mikkel Willum Johansen, Henrik Kragh Sørensen, Dirk Schlimm, Bernhard Schröder, Anna Steensen, Fenner Tanswell, Roi Wagner, David Waszek, Keith Weber
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.
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)