| Category: | event |
| Location: | Hubland Süd, Geb. M2 (Informatik), Zuse Hall |
Event Archive
Darmstadt-Würzburg Logic Day 2026
06/23/2026, 9:15 AM - 4:45 PM
| Category: | event |
| Location: | Hubland Nord, Geb. 41, 00.006 |
| Organizer: | Juniorprofessur für Mathematische Logic (Lehrstuhl III) |
| Speaker: | Various Speakers |
Oberseminar "Mathematische Logik" - Prof. Dr. Anton Freund
On the axiomatic strength of the uncountability of the reals
06/11/2026, 10:15 AM - 11:15 AM
| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Prof. Dr. Anton Freund - JMU Würzburg |
Workshop on "Philosophy of Mathematics"
05/29/2026, 11:00 AM - 1:00 PM
| Category: | event |
| Speaker: | Prof. Dr. Silvia Jonas |
Oberseminar "Mathematische Logik" - M.Sc. Giacomo Cozzi
Categorical logic and formal connections to set theory
04/24/2026, 1:15 PM - 2:15 PM
| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | M.Sc. Giacomo Cozzi - JMU Würzburg |
Oberseminar "Mathematische Logik" - Dr. Thilo Weinert
On Untranscendable Linear Order Types
04/17/2026, 2:00 PM - 3:00 PM
| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Dr. Thilo Weinert, Universität Wien, Österreich |
Oberseminar "Mathematische Logik" - Dr. Nicholas Pischke
Recent progress in proof mining and probability theory
02/09/2026, 10:15 AM - 11:15 AM| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Dr. Nicholas Pischke, University of Bath, UK |
Oberseminar "Mathematische Logik" - Dr. Dominik Wehr
Cyclic Proof Theory
01/23/2026, 1:00 PM - 2:00 PM
| Category: | event |
| Location: | Hubland Nord, Geb. 40, 03.003 |
| Speaker: | Dr. Dominik Wehr - JMU Würzburg |
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 |
Oberseminar "Mathematische Logik" - Renrui Qi
Breakthrough about Laver table
01/13/2025, 1:00 PM - 2:00 PM
| Category: | event |
| Organizer: | Zoom Veranstaltung |
| Speaker: | Renrui Qi - Victoria University of Wellington |
Oberseminar "Mathematische Logik" - Silke Meißner
2-ample theories and pseudo-buildings
12/09/2024, 4:15 PM - 5:15 PM
| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Silke Meißner - Universität Münster |
Oberseminar "Mathematische Logik" - Prof. Dr. Helmut Schwichtenberg
A theory of computable functions
11/26/2024, 4:15 PM - 5:15 PM
| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Prof. Dr. Helmut Schwichtenberg - Universität München |
Oberseminar "Mathematische Logik" - Luisa Després
Applications of Herbrand's Theorem to Euclidean Geometry
11/25/2024, 4:15 PM - 5:15 PM
| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Luisa Després - Technische Universität Darmstadt |
Oberseminar "Mathematische Logik" - Matthias Uschold
Computability in Topology: Mapping degree sets between manifolds
11/11/2024, 4:15 PM - 5:15 PM
| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Matthias Uschold - Universität Regensburg |
