IMADA Talks med Xueying Qin og Lars Rohwedder
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).
QM Research Seminar: TBA
Speaker: Pallav Goyal (University of Southern Denmark).Abstract: TBA
QM Research Seminar: TBA
Speaker: Shing Tak Lam (University of Warwick).Abstract: TBA
Studerende udvikler kompetencer. Men er de selv bevidste om det?
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.
Ph.d.-forsvar @IMADA: Muhammad Rajabinasab
Muhammad Rajabinasab forsvarer sin ph.d.-afhandling ved et offentligt foredrag: “Explanation as an Act of Selection: Feature Selection, Explainable AI, and Evaluation in Machine Learning”.Professor Melih Kandemir vil være ordstyrer ved arrangementet. Ph.d.-forsvaret finder sted i IMADAs Konferencelokale (Ø18-509-2). Alle er velkomne.
QC Research Seminar: TBA
Speaker: Apoorv Tiwari (University of Southern Denmark).Abstract: TBA
QM Research Seminar: TBA
Speaker: Arim Song (Friedrich-Alexander University Erlagen-Nürnberg).Abstract: TBA