Fachbereich Mathematik und Statistik

Konferenzen und Vorträge

 

Mitorganisation von Konferenzen und Workshops

September 2021: Colloquium Logicum (als Local Organiser, Homepage), Universität Konstanz.

24. Januar 2020: Donau–Rhein Modelltheorie und Anwendungen, 5th Meeting (als Local Organiser, Homepage), Universität Konstanz.

08.–09. Oktober 2018: Real Algebraic Geometry and Model Theory (als Organiser, Homepage), Universität Konstanz.

12.–25. August 2018: Können Computer denken? – Automatisches Beweisen und künstliche Intelligenz (als AG-Leiter, Homepage), Studienstiftung des deutschen Volkes, Leysin.

12. Mai 2017: Donau–Rhein Modelltheorie und Anwendungen, Inaugural Meeting (als Local Organiser, Homepage), Universität Konstanz.

Teilnahme an Konferenzen und Tagungen

24. Januar 2020: Donau–Rhein Modelltheorie und Anwendungen, Universität Konstanz.

10.–15. Juni 2019: Model Theory of Valued Fields and Applications, Westfälische Wilhelms-Universität Münster.

14.–17. März 2019: Doktorandenforum Kultur und Natur, Studienstiftung des deutschen Volkes, Mannheim.

29. November – 02. Dezember 2018: Doktorandenforum Natur, Studienstiftung des deutschen Volkes, Nürnberg.

08.–09. Oktober 2018: Real Algebraic Geometry and Model Theory, Universität Konstanz.

01.–04. Oktober 2018: Workshop on Tame Expansions of O-minimal Structures, Universität Konstanz.

12.–25. August 2018: Können Computer denken? – Automatisches Beweisen und künstliche Intelligenz, Studienstiftung des deutschen Volkes, Leysin.

29. Juli – 11. August 2018: Begegnungen von Zahlentheorie, Funktionalanalysis und dynamischen Systemen, Studienstiftung des deutschen Volkes, Neubeuern.

13. Juli 2018: Donau–Rhein Modelltheorie und Anwendungen, Universität Basel.

01.–31. März 2018: Model Theory Trimester, Institut Henri Poincaré, Sorbonne Université, Paris.

08.–12. Januar 2018: Research School Model Theory, Combinatorics and Valued Fields, Centre International de Rencontres Mathématiques, Marseille.

09.–12. November 2017: Doktorandenforum Gesellschaft, Kultur und Natur, Studienstiftung des deutschen Volkes, Heidelberg.

12.–13. Oktober 2017: 5. Stipendiatenkolloquim der Carl-Zeiss-Stiftung, Carl Zeiss AG, Oberkochen.

11.–15. September 2017: 19th ÖMG Congress and Annual DMV Meeting, Paris-Lodron-Universität Salzburg.

12. Mai 2017: Donau–Rhein Modelltheorie und Anwendungen, Universität Konstanz.

28.–30. April 2017: Logik zwischen Mathematik und Philosophie, Studienstiftung des deutschen Volkes, Georg-August-Universität Göttingen.

20.–23. März 2017: Doktorandenforum Natur und Kultur, Studienstiftung des deutschen Volkes, Bad Homburg.

18.–23. Dezember 2016: Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations, Mathematisches Forschungsinstitut Oberwolfach.

23.–24. November 2016: 4. Stipendiatenkolloquim der Carl-Zeiss-Stiftung, Schott AG, Mainz.

18.–23. Juli 2016: Summer School in Tame Geometry, Universität Konstanz.

05.–06. Juli 2016: SEEMOD meeting, University of Oxford.

18.–29. April 2016: Model Theory Month in Münster, Westfälische Wilhelms-Universität Münster.

07.–11. März 2016: Joint DMV and GAMM Annual Meeting 2016, Technische Universität Braunschweig. 

Vorträge auf Fachtagungen

27. September 2022: O-minimal Exponential Fields and Peano Arithmetic (Abstract, Folien), Colloquium Logicum 2022, PhD Colloquium, DVMLG, Universität Konstanz.

10. Juni 2022: Generalised power series determined by linear recurrence relations (Abstract, Folien), Workshop on Tame Geometry: Interactions Between O-minimal, Complex Analytic and Nonarchimedean Methods, The Fields Institute, University of Toronto.

27. September 2021: Definable henselian valuations by conditions on the value group (online, Abstract, Folien), DMV-ÖMG Jahrestagung 2021, Universität Passau.

24. Januar 2020: Definable Valuations in Ordered Fields (Abstract), Donau–Rhein Modelltheorie und Anwendungen, Universität Konstanz.

24. Januar 2020: Definable Valuations in Ordered Fields (Abstract), Donau–Rhein Modelltheorie und Anwendungen, Universität Konstanz.

11. September 2017: Properties of O-minimal Exponential Fields (Abstract [S. 75 f.], Folien), 19th ÖMG Congress and Annual DMV Meeting, Paris-Lodron-Universität Salzburg.

22. Dezember 2016: O-minimal Exponential Fields and Their Residue Fields (Abstract), Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations; Mathematisches Forschungsinstitut Oberwolfach. 

Vorträge in Fachseminaren

07. Februar 2022: Topological Properties of Ordered Abelian Groups and Definable Henselian Valuation (Abstract, Folien), Oberseminar Complexity Theory, Model Theory, Set Theory; Universität Konstanz.

02. März 2021: Neural Networks, NIP and Definable Valuations (online, Abstract, Folien), Purdue University Model Theory and Applications Seminar.

17. März 2020: Real Exponentiation and Exponential Integer Parts (Abstract), Oberseminar für Reine Mathematik, Universität Passau.

05. Dezember 2019: Valuations Definable in the Language of Ordered Rings (Abstract), Oberseminar Modelltheorie, Geometrie und Gruppentheorie; Westfälische Wilhelms-Universität Münster.

02. Mai 2019: Algebraic and Model Theoretic Properties of O-minimal Exponential Fields (Abstract, Folien), Vortrag über wesentliche Ergebnisse, Universität Konstanz.

26. November 2018: Ordered fields dense in their real closure (Abstract), Oberseminar Mathematische Logik, Mengenlehre und Modelltheorie; Universität Konstanz.

26. Oktober 2018: Schanuel's Conjecture and Roots of Exponential Polynomials (Abstract), Department of Mathematics and Statistics, Universität Tromsø – Norwegens Arktische Universität.

04. Juni 2018: Real Exponentiation and Exponential Groups (Abstract), Oberseminar für Reine Mathematik, Universität Passau.

15. Mai 2018: NIP, o-Minimality and Neural Networks (Abstract, Folien), Oberseminar Mathematische Logik, Mengenlehre und Modelltheorie; Universität Konstanz.

02. Februar 2018: O-minimal Exponential Fields and Real Exponentiation (Abstract), Department of Mathematics and Computer Science, Chulalongkorn University, Bangkok.

06. Juli 2017: Tarski's Exponential Function Problem (Abstract, Folien), Logic Colloquium, Universität Konstanz.

05. April 2017: A Logical Analysis of Exponentiation (Abstract), Special Talk, Department of Mathematics, Ateneo de Manila University.

17. Januar 2017: Non-archimedean Exponential Fields (Abstract), Basic Notions Seminar, Universität Bonn.

20. Juni 2016: On the Decidability of the Real Exponential Field (Abstract), Oberseminar Modelltheorie, Universität Konstanz.

23. November 2015: Ritt's Factorisation Theorem (Abstract), Oberseminar Modelltheorie, Universität Konstanz.

10. Dezember 2014: Schanuel's Conjecture and Exponential Fields (Abstract), Oberseminar Mathematische Logik, Albert-Ludwigs-Universität Freiburg.

Vorträge auf interdisziplinären Tagungen

27. November 2019: Algorithmen und künstliche Intelligenz (Folien), 8th edition of ELSA Day, The European Law Students' Association, Universität Konstanz.

30. November 2018: Können Computer denken? – ein Erfahrungsbericht aus Leysin, Doktorandenforum Natur, Studienstiftung des deutschen Volkes, Nürnberg.

23. August 2018: Können Computer denken? (mit S. Koch und J. Roos, Abstract), Sommerakademie Leysin, Studienstiftung des deutschen Volkes.

10. November 2017: Von Tarski, exp und den reellen Zahlen (Folien), Doktorandenforum Gesellschaft, Kultur und Natur; Studienstiftung des deutschen Volkes, Heidelberg.

28. April 2017: Konstruktive und nicht-konstruktive Beweise (Folien), Logik zwischen Mathematik und Philosophie, Studienstiftung des deutschen Volkes, Georg-August-Universität Göttingen.

23. März 2017: Das Entscheidbarkeitsproblem des reellen Exponentialkörpers (Folien), Doktorandenforum Natur und Kultur, Studienstiftung des deutschen Volkes, Bad Homburg.

Posterpräsentationen

11. Juni 2019: Ordered fields dense in their real closure and definable convex valuations (Poster), Model Theory of Valued Fields and Applications, Westfälische Wilhelms-Universität Münster.

29. März 2018: Value Groups and Residue Fields of Models of Real Exponentiation (Poster), Workshop: Model Theory and Applications, Institut Henri Poincaré, Sorbonne Université, Paris.

06. März 2018: Algebraic and Model Theoretic Properties of O-minimal Exponential Fields (Poster), Workshop: Model Theory of Valued Fields, Institut Henri Poincaré, Sorbonne Université, Paris.

08. Januar 2018: Algebraic and Model Theoretic Properties of O-minimal Exponential Fields (Poster), Research School Model Theory, Combinatorics and Valued Fields; Centre International de Rencontres Mathématiques, Marseille.

12. Oktober 2017: Ein Entscheidungsalgorithmus für (ℝ,ex) (Poster), 5. Stipendiatenkolloquim der Carl-Zeiss-Stiftung, Carl Zeiss AG, Oberkochen.

23. November 2016: Algebraic and Model Theoretic Properties of O-minimal Exponential Fields (Poster), 4. Stipendiatenkolloquim der Carl-Zeiss-Stiftung, SCHOTT AG, Mainz. 

Festvortäge und andere

14. Juli 2022: Mathematische Grenzen neuronaler Netze, Festvortrag zum Airbus-Forschungspreis „Claude Dornier“; Universität Konstanz