Institut for Matematik og Datalogi

Yuki Matsubara forsvarer sin ph.d.-afhandling ved et offentligt foredrag: “A Study of Moduli Spaces of Parabolic Connections and Geometric Langlands Correspondence”.Lektor Fabian Haiden vil være ordstyrer ved arrangementet. Ph.d.-forsvaret finder sted i U146 (Ø15-501a-2).Alle er velkomne.

Jonas Vistrup forsvarer sin ph.d.-afhandling ved et offentligt foredrag: “Explainable AI and the Law: Expert Systems for Danish Traffic Law”.Lektor Tariq Yousef vil være ordstyrer ved arrangementet. Ph.d.-forsvaret finder sted i U48A (Ø4-602-2).Alle er velkomne.

Poster Session og oplæg

Kom og vær med til 2 x 20 min. inspirerende foredrag, mens du nyder en gratis "afslappet after-work" øl med dine medstuderende, kollega eller lærer.Til denne IMADA Talk kan du møde postdoc Xueying Qin (emne: Using LLMs in Lean 4: The Next Stage of Proof Automation) og lektor Lars Rohwedder (emne: AI for Math and TCS Research: A User's Perspective).

Speaker: Pallav Goyal (​University of Southern Denmark).Abstract: TBA

Speaker: Shing Tak Lam (​University of Warwick).Abstract: TBA

Studerende udvikler en bred vifte af kompetencer gennem deres uddannelse, men de er ikke altid selv bevidste om alt det, de bliver bedre til undervejs.