Deniz Sarikaya

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

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

With: J. Frans
Offical part of the World Logic Day 2022
Speaker: TBA

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

2021 (6)

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, 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)

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)