Vienna Center for Logic and Algorithms

Helmut Veith Symposium

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.

Helmut Veith Stipend

Stipend for outstanding female students