Department of
Mathematics and Statistics
University of
Konstanz
 
Research Group in Real Algebraic Geometry > Working Group on Mathematical Logic, Set Theory and Model Theory > Prof. S. Kuhlmann > Staff > Dr Lothar Sebastian Krapp

text Deutsche Version

Organisation of conferences and workshops:

September 2021: Colloquium Logicum (as local organiser, homepage), University of Konstanz.
24 January 2020: Donau–Rhein Modelltheorie und Anwendungen, 5th Meeting (as local organiser, homepage), University of Konstanz.
08–09 October 2018: Real Algebraic Geometry and Model Theory (as organiser, homepage), University of Konstanz.
12–25 August 2018: Können Computer denken? – Automatisches Beweisen und künstliche Intelligenz (as workshop organiser, homepage), German Academic Scholarship Foundation, Leysin.
12 May 2017: Donau–Rhein Modelltheorie und Anwendungen, Inaugural Meeting (as local organiser, homepage), University of Konstanz.

Conference participation:

24 January 2020: Donau–Rhein Modelltheorie und Anwendungen, University of Konstanz.
10–15 June 2019: Model Theory of Valued Fields and Applications, University of Münster.
14–17 March 2019: Doktorandenforum Kultur und Natur, German Academic Scholarship Foundation, Mannheim.
29 November – 02 December 2018: Doktorandenforum Natur, German Academic Scholarship Foundation, Nuremberg.
08–09 October 2018: Real Algebraic Geometry and Model Theory, University of Konstanz.
01–04 October 2018: Workshop on Tame Expansions of O-minimal Structures, University of Konstanz.
12–25 August 2018: Können Computer denken? – Automatisches Beweisen und künstliche Intelligenz, German Academic Scholarship Foundation, Leysin.
29 July – 11 August 2018: Begegnungen von Zahlentheorie, Funktionalanalysis und dynamischen Systemen, German Academic Scholarship Foundation, Neubeuern.
13 July 2018: Donau–Rhein Modelltheorie und Anwendungen, University of Basel.
01–31 March 2018: Model Theory Trimester, Henri Poincaré Institute, Sorbonne University, Paris.
08–12 January 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, German Academic Scholarship Foundation, Heidelberg.
12–13 October 2017: 5. Stipendiatenkolloquim der Carl-Zeiss-Stiftung, Carl Zeiss AG, Oberkochen.
11–15 September 2017: 19th ÖMG Congress and Annual DMV Meeting, University of Salzburg.
12 May 2017: Donau–Rhein Modelltheorie und Anwendungen, University of Konstanz.
28–30 April 2017: Logik zwischen Mathematik und Philosophie, German Academic Scholarship Foundation, University of Göttingen.
20–23 March 2017: Doktorandenforum Natur und Kultur, German Academic Scholarship Foundation, Bad Homburg.
18–23 December 2016: Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations, Mathematical Research Institute of Oberwolfach.
23–24 November 2016: 4. Stipendiatenkolloquim der Carl-Zeiss-Stiftung, Schott AG, Mainz.
18–23 July 2016: Summer School in Tame Geometry, University of Konstanz.
05–06 July 2016: SEEMOD meeting, University of Oxford.
18–29 April 2016: Model Theory Month in Münster, University of Münster.
07–11 March 2016: Joint DMV and GAMM Annual Meeting 2016, Technical University of Braunschweig.

Talks at mathematical conferences:

27 September 2022: O-minimal Exponential Fields and Peano Arithmetic (abstract, slides), Colloquium Logicum 2022, PhD Colloquium, DVMLG, University of Konstanz.
10 June 2022: Generalised power series determined by linear recurrence relations (abstract, slides), 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, slides), DMV-ÖMG Annual Conference 2021, University of Passau.
24 January 2020: Definable Valuations in Ordered Fields (abstract), Donau–Rhein Modelltheorie und Anwendungen, University of Konstanz.
11 September 2017: Properties of O-minimal Exponential Fields (abstract [pp. 75 f.], slides), 19th ÖMG Congress and Annual DMV Meeting, University of Salzburg.
22 December 2016: O-minimal Exponential Fields and Their Residue Fields (abstract), Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations; Mathematical Research Institute of Oberwolfach.

Seminar talks:

07 February 2022: Topological Properties of Ordered Abelian Groups and Definable Henselian Valuation (abstract, slides), Oberseminar Complexity Theory, Model Theory, Set Theory; University of Konstanz.
02 March 2021: Neural Networks, NIP and Definable Valuations (online, abstract, slides), Purdue University Model Theory and Applications Seminar.
17 March 2020: Real Exponentiation and Exponential Integer Parts (abstract), Seminar on Pure Mathematics, University of Passau.
05 December 2019: Valuations Definable in the Language of Ordered Rings (abstract), Oberseminar Modelltheorie, Geometrie und Gruppentheorie; University of Münster.
02 May 2019: Algebraic and Model Theoretic Properties of O-minimal Exponential Fields (abstract, slides), Vortrag über wesentliche Ergebnisse, University of Konstanz.
26 November 2018: Ordered fields dense in their real closure (abstract), Research Seminar Mathematical Logic, Set theory and Model theory; University of Konstanz.
26 October 2018: Schanuel's Conjecture and Roots of Exponential Polynomials (abstract), Department of Mathematics and Statistics, University of Tromsø – The Arctic University of Norway.
04 June 2018: Real Exponentiation and Exponential Groups (abstract), Seminar on Pure Mathematics, University of Passau.
15 May 2018: NIP, o-Minimality and Neural Networks (abstract, slides), Research Seminar Mathematical Logic, Set theory and Model theory; University of Konstanz.
02 February 2018: O-minimal Exponential Fields and Real Exponentiation (abstract), Department of Mathematics and Computer Science, Chulalongkorn University, Bangkok.
06 July 2017: Tarski's Exponential Function Problem (abstract, slides), Logic Colloquium, University of Konstanz.
05 April 2017: A Logical Analysis of Exponentiation (abstract), Special Talk, Department of Mathematics, Ateneo de Manila University.
17 January 2017: Non-archimedean Exponential Fields (abstract), Basic Notions Seminar, University of Bonn.
20 June 2016: On the Decidability of the Real Exponential Field (abstract), Research Seminar Model Theory, University of Konstanz.
23 November 2015: Ritt's Factorisation Theorem (abstract), Research Seminar Model Theory, University of Konstanz.
10 December 2014: Schanuel's Conjecture and Exponential Fields (abstract), Oberseminar Mathematische Logik, University of Freiburg.

Talks at interdisciplinary conferences:

27 November 2019: Algorithmen und künstliche Intelligenz (slides), 8th edition of ELSA Day, The European Law Students' Association, University of Konstanz.
30 November 2018: Können Computer denken? – ein Erfahrungsbericht aus Leysin, Doktorandenforum Natur, German Academic Scholarship Foundation, Nuremberg.
23 August 2018: Können Computer denken? (with S. Koch and J. Roos, abstract), Sommerakademie Leysin, German Academic Scholarship Foundation.
10 November 2017: Von Tarski, exp und den reellen Zahlen (slides), Doktorandenforum Gesellschaft, Kultur und Natur; German Academic Scholarship Foundation, Heidelberg.
28 April 2017: Konstruktive und nicht-konstruktive Beweise (slides), Logik zwischen Mathematik und Philosophie, German Academic Scholarship Foundation, University of Göttingen.
23 March 2017: Das Entscheidbarkeitsproblem des reellen Exponentialkörpers (slides), Doktorandenforum Natur und Kultur, German Academic Scholarship Foundation, Bad Homburg.

Poster presentations:

11 June 2019: Ordered fields dense in their real closure and definable convex valuations (poster), Model Theory of Valued Fields and Applications, University of Münster.
29 March 2018: Value Groups and Residue Fields of Models of Real Exponentiation (poster), Workshop: Model Theory and Applications, Henri Poincaré Institute, Sorbonne University, Paris.
06 March 2018: Algebraic and Model Theoretic Properties of O-minimal Exponential Fields (poster), Workshop: Model Theory of Valued Fields, Henri Poincaré Institute, Sorbonne University, Paris.
08 January 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 October 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.

Outreach:

19 October 2020: Projektvorstellung: Mathematische Grenzen neuronaler Netze (in German, Video), Science Prize of Werner und Erika Messmer-Stiftung 2020, Dies Academicus, University of Konstanz.
27 November 2019: Algorithmen und künstliche Intelligenz (slides), 8th edition of ELSA Day, The European Law Students' Association, University of Konstanz.
23 August 2018: Können Computer denken? (fishbowl discussion with S. Koch and J. Roos, abstract), Sommerakademie Leysin, German Academic Scholarship Foundation, Leysin.
Rechner ohne Rechenkunst?, Article in uni'kon Heft 70, p. 42–44.



Last update: