Thank you for joining 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 October 2–6, 2017.

The Symposium took place on October 6 featuring presentations of invited contributions published in the Special Issue of the journal on Formal Methods in System Design in Memoriam Helmut Veith.

The Symposium ended 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.

Photos

On Flickr as CC BY 4.0 VCLA