Department of Mathematics and Computer Science

Speaker: Szilard Szabo (​Budapest University of Technology and Economics).Abstract: The notion of Hodge atom was introduced in work of Katzarkov, Kontsevich, Pantev and Yu, and has had spectacular applications to Birational Geometry. We will report on joint work with M. Kontsevich on the moduli space of irregular singular connections underlying this notion. If time permits, then we will also say a few words about the blow-up formula for atoms, that is a central ingredient for the applications, and that has been proved by H. Iritani in general and in our joint work with A. Gyenge for surfaces.

Jonas Vistrup defends his PhD thesis at a public lecture: “Explainable AI and the Law: Expert Systems for Danish Traffic Law”.The chairman of the assessment committee, Associate Professor Tariq Yousef, will act as chairman at the defence.The PhD defence takes place in U48A (Ø4-602-2).All are welcome.

Poster Session and presentation

Want to know what is going on behind the scenes at IMADA?Come and join us for 2 x 20 min. inspiring talks while you enjoy a free “casual after-work” beer with your fellow student, colleague or teacher.This time Postdoc Xueying Qin (Topic: Using LLMs in Lean 4: The Next Stage of Proof Automation) and Associate Professor Lars Rohwedder (Topic: AI for Math and TCS Research: A User's Perspective) will each spend 20 minutes each telling you about their current research.

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

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

Students develop a wide range of competences throughout their education, but they do not always recognise everything they become better at along the way.

Speaker: Apoorv Tiwari (​University of Southern Denmark).Abstract: TBA

Speaker: Arim Song (​Friedrich-Alexander University Erlagen-Nürnberg).Abstract: TBA