Veranstaltungen
Auf dieser Seite informieren wir über Forschungsveranstaltungen zur mathematischen Logik.
Keine Nachrichten verfügbar.
- Mo, 22.04.2024 um 16:15 Uhr: Dr. Ziemowit Kostana, Czech Academy of Sciences
Weak and parametrized diamonds - formulations and applications
- Mo, 29.04.2024 um 16:15 Uhr: PD Dr. Martin Fischer , LMU München
- Mo, 06.05.2024 um 16:15 Uhr: Jędrzej Kołodziejski, TU Dortmund
- Di, 14.05.2024 um 16:15 Uhr: Prof. Dr. Christian Glaßer, Unviersität Würzburg - Institut für Informatik
Are there optimal proof systems?
- Mo, 27.05.2024 um 16:15 Uhr: Prof. Dr. Tobias Nipkow, TU München
- Mo, 05.02.2024 um 14:15 Uhr: Katarzyna Kowalik, Julius-Maximilian-Universität, Würzburg
Reverse mathematics of Ramsey-theoretic statements over a weaker base theory
- Mo, 30.01.2024 um 14:15 Uhr: Rafael Niesser, Technische Universität Darmstadt
Reverse mathematics of a theorem of Laver
- Mo, 29.01.2024 um 14:15 Uhr: Prof. Dr. Anton Freund, Julius-Maximilian-Universität, Würzburg
Towards a dichotomy result for dilators
- Mo, 04.12.2023 um 16:15 Uhr: Prof. Dr. Anton Freund, Julius-Maximilian-Universität, Würzburg
Fraissé's conjecture and Towsner's system TLPP
- Mo, 20.11.2023 um 16:15 Uhr: Nicholas Pischke, Technische Universität, Darmstadt
Proof-theoretically tame approaches to some tameless areas of mathematics
- Mo, 06.11.2023 um 16:15 Uhr: Patrick Uftring, Julius-Maximilian-Universität, Würzburg
Relative leftmost paths in the Weihrauch lattice
- Mo, 23.11.2023 um 16:15 Uhr: Davide Manca, Julius-Maximilian-Universität, Würzburg
An order type decomposition of Laver
