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

Oberseminar "Mathematische Logik" - Dr. Sara Ayhan

Sense and denotation in systems for proofs and refutations

10/28/2024, 4:15 PM - 5:15 PM

Category:	event
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Dr. Sara Ayhan - Ruhr-Universität Bochum

Page 1 of 2.

1
2
2
next

Hubland Nord, Geb. 40

Hubland Nord, Geb. 41 Hubland Nord, Geb. 30 Hubland Nord, Geb. 31