Öffentliche Antrittsvorlesung: Prof. Dr. Gözde Gül Şahin
Datum: 17. April 2026Zeit: 14:30 – 15:15Ort: FAU Campus Erlangen Süd, Cauerstraße 5b in Erlangen, Hörsaal H20
Im Rahmen des Tages des Department Informatik hält Prof. Dr. Gözde Gül Şahin, Professur für Intelligente Sprachsysteme, ihre öffentliche Antrittsvorlesung. Der Vortrag trägt den Titel Generative Reward Models for Formal Theorem Proving.
Das Programm und weitere Informationen erhalten Sie im Flyer der Veranstaltung.
Details
FAU Campus Erlangen Süd, Cauerstraße 5b in Erlangen, Hörsaal H20