Helmut-Veith-Memorial Workshop 2019

DATE:Sunday, March 17, 2019 – Wednesday, March 20, 2019

Logicians meet amid the Austrian Alps

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.

Like its previous editions, the workshop in 2019 kept the proven format: in the morning the attendees offered a 30-minute talk about their work. In the afternoons, they split into groups to take advantage of the 42 km of skiing slops, the wellness offers of the location, or one-to-one discussions. The workshop brought together researchers with various research focus within the discipline of logic in computer science. 

Report on the workshop in the ACM SIGLOG Newsletter (July 2019, Vol 6, No 3).


Since its creation in 2017, this series of workshops is breaking with the routine of academic meetings and is an example of how to engineer a scientific meeting that encourages thought and collaboration. Designed not only for established researchers but also for the doctoral candidates and students, the workshop has provided a forum for intense exchange with established researchers.

Photo credits: Anna Prianichnikova

Helmut Veith Workshop 2019

Janos Makowsky, Technion

Organizers, Ana Sokolova and Anna Prianichnikova

Temur Kutsia, JKU Linz


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


  • 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




  • 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.

Comments are closed.