Veranstaltungsarchiv

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

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

Fraissé's conjecture and Towsner's system TLPP

04.12.2023, 16:15 - 17:15 Uhr

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

Oberseminar "Mathematische Logik" - Nicholas Pischke

Proof-theoretically tame approaches to some tameless areas of mathematics

20.11.2023, 16:15 - 17:15 Uhr

Kategorie:	Veranstaltung
Ort:	Hubland Nord, Geb. 40, 01.003
Vortragende:	Nicholas Pischke, Technische Universität Darmstadt

Oberseminar "Mathematische Logik" - Patrick Uftring

Relative leftmost paths in the Weihrauch lattice

06.11.2023, 16:15 - 17:15 Uhr

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

Oberseminar "Mathematische Logik" - Davide Manca

An order type decomposition of Laver

23.10.2023, 16:15 - 17:15 Uhr

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