Veranstaltungen

06. Oktober 2017, 12:00 bis 13:00

LogicLounge in Memoriam Helmut Veith - Logic in Computer Science: A Teaching Perspective

Andere

Michael Huth (Imperial) and Janos Makowsky (Technion) will discuss the discrepancy  between the needs for formal reasoning in practical application and largely historically motivated curricula of teaching logic in computer science. The discussion will be moderated by Laura Kovács (TU Wien). The LogicLounge on Logic in Computer Science: A Teaching Perspective honors Helmut Veith´s (1971-2016) contribution to the education of numerous young researchers, who he will support futher posthumous with Helmut Veith Stipend for Female Master Students funded by TU Wien, Wolfgang Pauli Institute, and friends and colleagues of the late scholar.

Kalendereintrag

Öffentlich

Ja

 

Kostenpflichtig

Nein

 

Anmeldung erforderlich

Ja