öffentliche Antrittsvorlesung von Prof. Dr. Gözde Gül Şahin: Generative Reward Models for Formal Theorem Proving
Datum: 17. April 2026Zeit: 14:30 – 15:15Ort: Hörsaal H20, Cauerstraße 5b - 91058 Erlangen;, Technische Fakultät, FAU
Öffentlichen Antrittsvorlesung von Prof. Dr. Gözde Gül Şahin am Freitag, den 17. April 2026, 14.30 Uhr im Rahmen des Tag der Informatik 2026
Prof. Dr. Gözde Gül Şahin Professur für Intelligente Sprachsysteme, Department Informatik, Technische Fakultät der FAU Erlangen-Nürnberg
Infos: https://cs.fau.de/wp-content/uploads/2026/03/Flyer-TDI-2026.pdf
Details
Hörsaal H20, Cauerstraße 5b - 91058 Erlangen;, Technische Fakultät, FAU