Helmut Veith memorial workshop 2019 report

Helmut Veith Memorial Workshop (HVW) is a memorial workshop in honour of Helmut Veith, a dear friend and colleague, logician and computer scientist who contributed significantly to the area of verification and logics in computer science, professor at TU Vienna who tragically died too early at the age of 45 years 3 years ago. The workshop follows his wish for having an informal meeting in the mountains, mixing science and snow fun. The workshop is organised in such a way that half of the day is spent in talks, and the other half skiing, discussing, or working together at a venue in the Austrian Alps. It is a nice opportunity to exchange ideas and meet colleagues from the Austrian logic in computer science community and beyond, as well as to spend pleasant days with science and skiing, and even bring family along.