EXUNMA: Explanation and Understanding with(in) Mathematics (January 16, 2022)

• With: J. Frans
• Official part of the World Logic Day 2022
• Speaker: Vincent Coumans, Atoosa Kasirzadeh, José Antonio Pérez Escobar, Francesca Poggiolesi and Keith Weber

Formalize!(?) - 2 (January 15, 2022)

• With: J. A. Pérez-Escobar
• Official part of the World Logic Day 2022
• Speaker: Merlin Carl, Bernhard Fisseni, Dominik Kirst, Deniz Sarikaya, Bernhard Schröder and Anna Steensen

Logic – A World of Interdisciplinary Science (2) (Online/Dutsin-Ma, 14 January 2022)

• With: F. Balogun
• Official part of the World Logic Day 2022
• Speaker: Marcos Cramer, Michel Gaspar, Deborah Kant, Yurii Khomskii and T. O. William-West.

WLD Haifa: Paths in Logic (Online/Haifa, January 13, 2022)

• With: B Grabmayr
• Official part of the World Logic Day 2022
• Speaker: Thorsten Altenkirch, Menachem Magidor, Michał Godziszewski and Stephan Schulz

Wittgenstein and the formal sciences (Online/Paris, 11 January 2022)

• With: J. A. Pérez-Escobar
• Official part of the World Logic Day 2022
• Speaker: Sorin Bangu, Ryan Dawson, Jordi Fairhurst, Ryan Michaël Miller and Roy Wagner

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

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 and 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 and 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
• Official 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,
• Official part of the World Logic Day 2021

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

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

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)

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

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)

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)

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

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)