Vienna Center for Logic and Algorithms at TU Wien
Helmut Veith Symposium 2017
Symposium in Memoriam Helmut Veith, was dedicated to Prof. Helmut Veith's inspiring collaborative spirit leading scientists and science from the labs on the streets among the people. Helmut Veith, FMCAD co-chair in 2016, and 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 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 on the event at: www.vcla.at
Helmut Veith Symposium 2017
Symposium in Memoriam Helmut Veith, was dedicated to Prof. Helmut Veith's inspiring collaborative spirit leading scientists and science from the labs on the streets among the people. Helmut Veith, FMCAD co-chair in 2016, and 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 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 on the event at: www.vcla.at