Helmut Veith Symposium

DATE:Friday, October 6, 2017
TIME:9:00 – 13:00
VENUE:TU Wien, Kontaktraum, Gußhausstr. 27-29, 1040 Vienna (6th floor)

Herewith invited to the Symposium in Memoriam Helmut Veith, the co-founder of Vienna Center for Logic and Algorithms, hosted by FMCAD – Formal Methods in Computer-Aided Design, held at TU Wien, Vienna, Austria, from 2–6 October, 2017.

The Symposium features presentations of invited contributions published in the Special Issue of the journal on Formal Methods in System Design in Memoriam Helmut Veith.

The Symposium will end with a panel discussion in series of LogicLounges with Michael Huth and Janos Makowsky, moderated by Laura Kovács, on Logic in Computer Science: A Teaching Perspective.

The full programme of the Symposium in Memoriam Helmut Veith here.

Comments are closed.