Helmut Veith Symposium

Herewith invited to the Symposium in Memoriam Helmut Veith, the co-founder of Vienna Center for Logic and Algorithms, hosted by the organizers of the 17th 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.