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

Workshop on "Philosophy of Mathematics"

05/29/2026, 11:00 AM - 1:00 PM

Category:	event
Speaker:	Prof. Dr. Silvia Jonas

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

Oberseminar "Mathematische Logik" - Prof. Dr. Tobias Nipkow

Alpha-Beta Pruning Explored, Extended and Verified

05/27/2024, 4:15 PM - 5:15 PM

Category:	event
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Prof. Dr. Tobias Nipkow - TU München

Oberseminar "Mathematische Logik" - Prof. Dr. Christian Glaßer

Are there optimal proof systems?

05/14/2024, 4:15 PM - 5:15 PM

Category:	event
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Prof. Dr. Christian Glaßer - Universität Würzburg - Institut für Informatik

Oberseminar "Mathematische Logik" - Jędrzej Kołodziejski

Modal Logic over Ordinals

05/06/2024, 4:15 PM - 5:15 PM

Category:	event
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	Jędrzej Kołodziejski - TU Dortmund

Oberseminar "Mathematische Logik" - PD Dr. Martin Fischer

Reflective closure revisited

04/29/2024, 4:15 PM - 5:15 PM

Category:	event
Location:	Hubland Nord, Geb. 40, 01.003
Speaker:	PD Dr. Martin Fischer, MCMP - LMU München

Page 1 of 2.

1
2
2
next

Hubland Nord, Geb. 40

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