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.
Wissenschaftsvermittlung:
19. Oktober 2020:
Projektvorstellung: Mathematische Grenzen neuronaler Netze (
Video), Wissenschaftspreis der Werner und Erika Messmer-Stiftung 2020, Dies Academicus, Universität Konstanz.
27. November 2019:
Algorithmen und künstliche Intelligenz (
Folien), 8th edition of ELSA Day, The European Law Students' Association, Universität Konstanz.
23. August 2018:
Können Computer denken? (Fishbowl-Diskussion mit S. Koch und J. Roos,
Abstract), Sommerakademie Leysin, Studienstiftung des deutschen Volkes, Leysin.
Rechner ohne Rechenkunst?, Artikel in
uni'kon Heft 70, S. 42–44.
Letzte Änderung:
English version