Veranstaltungsarchiv

Oberseminar "Mathematische Logik" - Renrui Qi

Breakthrough about Laver table

13.01.2025, 13:00 - 14:00 Uhr

Kategorie:	Veranstaltung
Veranstalter:	Zoom Veranstaltung
Vortragende:	Renrui Qi - Victoria University of Wellington

Oberseminar "Mathematische Logik" - Silke Meißner

2-ample theories and pseudo-buildings

09.12.2024, 16:15 - 17:15 Uhr

Kategorie:	Veranstaltung
Ort:	Hubland Nord, Geb. 40, 01.003
Vortragende:	Silke Meißner - Universität Münster

Oberseminar "Mathematische Logik" - Prof. Dr. Helmut Schwichtenberg

A theory of computable functions

26.11.2024, 16:15 - 17:15 Uhr

Kategorie:	Veranstaltung
Ort:	Hubland Nord, Geb. 40, 01.003
Vortragende:	Prof. Dr. Helmut Schwichtenberg - Universität München

Oberseminar "Mathematische Logik" - Luisa Després

Applications of Herbrand's Theorem to Euclidean Geometry

25.11.2024, 16:15 - 17:15 Uhr

Kategorie:	Veranstaltung
Ort:	Hubland Nord, Geb. 40, 01.003
Vortragende:	Luisa Després - Technische Universität Darmstadt

Oberseminar "Mathematische Logik" - Matthias Uschold

Computability in Topology: Mapping degree sets between manifolds

11.11.2024, 16:15 - 17:15 Uhr

Kategorie:	Veranstaltung
Ort:	Hubland Nord, Geb. 40, 01.003
Vortragende:	Matthias Uschold - Universität Regensburg

Oberseminar "Mathematische Logik" - Dr. Sara Ayhan

Sense and denotation in systems for proofs and refutations

28.10.2024, 16:15 - 17:15 Uhr

Kategorie:	Veranstaltung
Ort:	Hubland Nord, Geb. 40, 01.003
Vortragende:	Dr. Sara Ayhan - Ruhr-Universität Bochum

Oberseminar "Mathematische Logik" - Prof. Dr. Tobias Nipkow

Alpha-Beta Pruning Explored, Extended and Verified

27.05.2024, 16:15 - 17:15 Uhr

Kategorie:	Veranstaltung
Ort:	Hubland Nord, Geb. 40, 01.003
Vortragende:	Prof. Dr. Tobias Nipkow - TU München

Oberseminar "Mathematische Logik" - Prof. Dr. Christian Glaßer

Are there optimal proof systems?

14.05.2024, 16:15 - 17:15 Uhr

Kategorie:	Veranstaltung
Ort:	Hubland Nord, Geb. 40, 01.003
Vortragende:	Prof. Dr. Christian Glaßer - Universität Würzburg - Institut für Informatik

Oberseminar "Mathematische Logik" - Jędrzej Kołodziejski

Modal Logic over Ordinals

06.05.2024, 16:15 - 17:15 Uhr

Kategorie:	Veranstaltung
Ort:	Hubland Nord, Geb. 40, 01.003
Vortragende:	Jędrzej Kołodziejski - TU Dortmund

Oberseminar "Mathematische Logik" - PD Dr. Martin Fischer

Reflective closure revisited

29.04.2024, 16:15 - 17:15 Uhr

Kategorie:	Veranstaltung
Ort:	Hubland Nord, Geb. 40, 01.003
Vortragende:	PD Dr. Martin Fischer, MCMP - LMU München

Oberseminar "Mathematische Logik" - Dr. Ziemowit Kostana

Weak and parametrized diamonds -- formulations and applications

22.04.2024, 16:15 - 17:15 Uhr

Kategorie:	Veranstaltung
Ort:	Hubland Nord, Geb. 40, 01.003
Vortragende:	Dr. Ziemowit Kostana - Czech Academy of Sciences

Oberseminar "Mathematische Logik" - Katarzyna W. Kowalik

Reverse mathematics of Ramsey-theoretic statements over a weaker base theory

05.02.2024, 14:15 - 15:15 Uhr

Kategorie:	Veranstaltung
Ort:	Hubland Nord, Geb. 40, 01.003
Vortragende:	Katarzyna W. Kowalik, Universität Würzburg

Oberseminar "Mathematische Logik" - Rafael Nießner

Reverse mathematics of a theorem of Laver

30.01.2024, 14:15 - 15:15 Uhr

Kategorie:	Veranstaltung
Ort:	Hubland Nord, Geb. 40, 01.003
Vortragende:	Rafael Nießner, Technische Universität Darmstadt

Oberseminar "Mathematische Logik" - Prof. Dr. Anton Freund

Towards a dichotomy result for dilators

29.01.2024, 14:15 - 15:15 Uhr

Kategorie:	Veranstaltung
Ort:	Hubland Nord, Geb. 40, 01.003
Vortragende:	Prof. Dr. Anton Freund, Universität Würzburg