Helmut Veith Symposium
Symposium in Memoriam Helmut Veith (1971-2016), co-founder of Vienna Center for Logic and Algorithms at TU Wien - VCLA, tragically passed away in March last year. The Symposium featured presentations of invited contributions published in the Special Issue of the journal on Formal Methods in System Design in Memoriam Helmut Veith. The Symposium, part of FMCAD 2017, concluded with LogicLounge on Teaching Logic in Computer Science with Michael Huth (Imperial College London) and Janos Makowsky (Technion – Israel Institute of Technology). More information: www.vcla.at
76 photos · 47 views