Helmut Veith Lecture Hall – Dedication Ceremony

DATE:Friday, December 15, 2023
TIME:14:00 – 17:00
VENUE:Favoritenstraße 9-11, Helmut Veith Lecture Hall (previously FAV Hörsaal 1, ground floor)

On December 15, we celebrated the dedication of the lecture hall “FAV Hörsaal 1” at the Faculty of Informatics of TU Wien in honor of the late Prof. Helmut Veith. The program included invited talks as well as personal recollections by his colleagues and friends in academia and beyond.



Event Program

14:00 Welcome address by Gerti Kappel (Dean of TU Wien Informatics) and
Wolfgang Kastner (Vice Rector Digitalisation and Infrastructure)
14:20 Georg Gottlob (Helmut Veith’s PhD supervisor)
In Memory of Helmut Veith: Invited Talks
14:30 Somesh Jha (University of Wisconsin-Madison, USA)
“Fearless Research or What I Learned from Helmut” (stream)
14:45 Stefan Katzenbeisser (University of Passau, Germany)
“Safety and Security in Critical Infrastructures”
Unfortunately, this talk had to be cancelled on short notice and was replaced by a performance of classical music.
15:15 Johannes Kinder (LMU Munich, Germany)
“CEGAR for Regular Expression Semantics in JavaScript”
15:45 Moshe Vardi (Rice University, Houston/TX, USA)
“Model Checking Strategies from Synthesis over Finite Traces” (stream)
Personal Memories of Helmut Veith
16:00 Florian Zuleger, Orna Grumberg, Roderick Bloem, Anna Prianichnikova,
Christian Fermüller, Igor Konnov, Rudolf Freund
16:30 Celebration Buffet



More information about Helmut Veith is available at https://www.vcla.at/2016/03/helmut-veith-1971-2016/.

Comments are closed.