Fachbereich
Mathematik und Statistik
Universit├Ąt
Konstanz
 
Schwerpunkt Reelle Geometrie und Algebra > Arbeitsgruppe Mathematische Logik, Mengenlehre und Modelltheorie > Prof. Dr. S. Kuhlmann > Mitarbeiter > Dr. Lothar Sebastian Krapp

text English version

Mitorganisation von Konferenzen und Workshops:

März 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:

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:

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: