| Category: | event |
| Location: | Hubland Süd, Geb. M2 (Informatik), Turing Hall |
Events
Workshop on "Philosophy of Mathematics"
05/29/2026, 10:00 AM - 4:00 PM
| Category: | event |
| Speaker: | Dr. Mirja Hartimo and Prof. Dr. Silvia Jonas |
Oberseminar "Mathematische Logik" - Prof. Dr. Anton Freund
Towards Strict Reverse Mathematics -- Re-Interpreting the Reals
12/01/2025, 1:00 PM - 2:00 PM
| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Prof. Dr. Anton Freund - JMU Würzburg |
Oberseminar "Algorithmen, Komplexität und Mathematische Logik" - Prof. Dr. Meike Hatzel
Directed tree-cutwidth and immersions
11/27/2025, 10:30 AM - 12:00 PM
| Category: | event |
| Location: | Hubland Süd, Geb. Z6 (Zentrales Hörsaal- u. Seminargebäude), 1.004 |
| Speaker: | Prof. Dr. Meike Hatzel - TU Darmstadt |
- Mon, 28.10.2024 at 16:15 Uhr: Dr. Sara Ayhan, Ruhr-Universität Bochum
Sense and denotation in systems for proof and refutations
- Mon, 11.11.2024 at 16:15 Uhr: Matthias Uschold, Universität Regensburg
Computability in Topology: Mapping degree sets between manifolds
- Mon, 25.11.2024 at 16:15 Uhr: Luisa Després, Technische Universität Darmstadt
Applications of Herbrand's Theorem to Euclidean Geometry
- Tue, 26.11.2024 at 16:15 Uhr: Prof. Dr. Helmut Schwichtenberg, Universität München
A theory of computable functions
- Mon, 09.12.2024 at 16:15 Uhr: Silke Meißner, Universität Münster
2-ample theories and pseudo-buildings
- Mon, 13.01.2025 at 13:00 Uhr: Renrui Qi, Victoria University of Wellington
- Mon, 22.04.2024 at 16:15 Uhr: Dr. Ziemowit Kostana, Czech Academy of Sciences
Weak and parametrized diamonds - formulations and applications
- Mon, 29.04.2024 at 16:15 Uhr: PD Dr. Martin Fischer , LMU München
- Mon, 06.05.2024 at 16:15 Uhr: Jędrzej Kołodziejski, TU Dortmund
- Tue, 14.05.2024 at 16:15 Uhr: Prof. Dr. Christian Glaßer, Unviersität Würzburg - Institut für Informatik
Are there optimal proof systems?
- Mon, 27.05.2024 at 16:15 Uhr: Prof. Dr. Tobias Nipkow, TU München
- Mon, 05.02.2024 at 14:15 Uhr: Katarzyna Kowalik, Julius-Maximilian-Universität, Würzburg
Reverse mathematics of Ramsey-theoretic statements over a weaker base theory
- Mon, 30.01.2024 at 14:15 Uhr: Rafael Niesser, Technische Universität Darmstadt
Reverse mathematics of a theorem of Laver
- Mon, 29.01.2024 at 14:15 Uhr: Prof. Dr. Anton Freund, Julius-Maximilian-Universität, Würzburg
Towards a dichotomy result for dilators
- Mon, 04.12.2023 at 16:15 Uhr: Prof. Dr. Anton Freund, Julius-Maximilian-Universität, Würzburg
Fraissé's conjecture and Towsner's system TLPP
- Mon, 20.11.2023 at 16:15 Uhr: Nicholas Pischke, Technische Universität, Darmstadt
Proof-theoretically tame approaches to some tameless areas of mathematics
- Mon, 06.11.2023 at 16:15 Uhr: Patrick Uftring, Julius-Maximilian-Universität, Würzburg
Relative leftmost paths in the Weihrauch lattice
- Mno, 23.11.2023 at 16:15 Uhr: Davide Manca, Julius-Maximilian-Universität, Würzburg
An order type decomposition of Laver
