Disputationen

Julius Laurin Adelt (Disputation): Reusable Abstractions for Deductive Verification of Autonomous Hybrid Systems

Monday, 22.06.2026 10:30 im Raum SRZ 5

---

Anlagen

Aushang_Disputation_Adelt.pdf

---

Angelegt am 09.06.2026 von Julia Moudden
Geändert am 09.06.2026 von Julia Moudden
[Edit | Vorlage]

Disputationen

Thomas Tony (Disputation): Scalar Curvature Comparison Geometry and Higher Index Theory

Monday, 22.06.2026 10:00 im Raum SRZ 202

---

Anlagen

Aushang_Disputation_Tony.pdf

---

Angelegt am 03.06.2026 von Julia Moudden
Geändert am 03.06.2026 von Julia Moudden
[Edit | Vorlage]

Disputationen