The third workshop dedicated to the memory of the late prof. Helmut Veith (1971-2016) took place in the skiing region at the border of Carinthia and Styria. The workshop is a continuation of the Helmut´s and Georg Moser´s idea to give the community of logicians in computer science in Austria an opportunity for lively academic debates with internationally renowned researchers in the midst of the pristine nature of the Austrian Alps.

Participants

The workshop is designed for logicians in computer science from all around the world, from students, to established researchers. The full photo gallery with selected photos is available on our Facebook page.

Photo credits: Anna Prianichnikova

Helmut Veith Workshop 2019	Janos Makowsky, Technion
Organizers, Ana Sokolova and Anna Prianichnikova	Temur Kutsia, JKU Linz

Venue

HVW’19 was held at Hotel Schlosshotel Seewirt in the Turracher Höhe skiing center, in the Austrian region Steiermark. 

Speakers

• Temur Kutsia (JKU Linz)
• Sibylla Zech (TU Wien)
• Lutz Schröder (FAU Erlangen)
• Laura Kovacs (TU Wien)
• Ana Sokolova (University of Salzburg)
• Matteo Maffei (TU Wien)
• Michael Morak (University of Klagenfurt)
• Rene Thiemann (University of Innsbruck)
• Janos Makowsky (Technion)
• Stefan Milius (FAU Erlangen)
• Ilina Stoilkovska (TU Wien)

Full schedule here

Registrations

Website

Organizers

• Michael Morak (University of Klagenfurt)
• Ana Sokolova (University of Salzburg)
• Anna Prianichnikova (TU Wien)

Past Workshops

HVW18 – The Second Helmut Veith Memorial Workshop

HVW17 – The First Helmut Veith Memorial Workshop

First Helmut-Veith-Memorial Workshop. Photo: Georg Moser.