Helmut Veith Memorial Workshop
DATE: | Sunday, January 28, 2018 – Tuesday, January 30, 2018 |
VCLA and RISE supporting Helmut Veith Memorial Workshop (HVW), dedicated to keep alive the legacy of the Austrian logician and co-founder of VCLA, and LogiCS doctoral college – Helmut Veith (1972–2016).
In 2014, Helmut Veith contacted Georg Moser (the co-organizer of the first edition of HVW) with the idea to organize a workshop for logicians in computer science in Austria, where he emphasized the combination of research and social activities (e.g. skiing). The second workshop aims to bring Helmut´s idea back to life.
Important Dates
Arrival: January 28, 2018
Workshop: January 29 – 31, 2018
Keynote
Orna Grumberg, TECHNION, Israel Institute of Technology
Organisation Committee
Adriana Pratter, University of Salzburg
Anna Prianichnikova, TU Wien
Ana Sokolova, University of Salzburg