The fourth workshop dedicated to the memory of prof. Helmut Veith (1971-2016) took place in the skiing region at the border of Carinthia and Styria, between January 27 and January 29, 2020. The workshop is a continuation of Prof. Veith´s and Georg Moser´s idea to give the community of logicians in computer science an opportunity for lively academic debates amid the pristine nature of the Austrian Alps.

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 researchers such as Erich Grädel (RWTH Aachen), Janos Makowsky (Technion), Michael Tautschnig (Queen Mary University of London), and Moshe Vardi (Rice University), to mention a few.

Like its previous editions, the workshop in 2020 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. 

The Helmut Veith Memorial Workshop 2020 was organized by Michael Morak (TU Wien), Anna Prianichnikova (TU Wien), and Ana Sokolova (University of Salzburg), with the support of the Vienna Center for Logic and Algorithms (VCLA), and the Austrian Society for Rigorous Systems Engineering (RiSE).

Photo gallery

Michael Morak, University of Klagenfurt	Skiing time	Gernot Salzer, TU Wien
Nature time	Friedrich Slivovsky, TU Wien	Sun time
Anna Lukina, IST Austria	Emir Demirovic, TU Wien	Rafael Kiesl

Helmet time

Harald Woracek, TU Wien

View time

Previous workshops

Helmut Veith Memorial Workshop 2019 (HVW 2019)

Helmut Veith Memorial Workshop 2018 (HVW 2018)

Helmut Veith Memorial Workshop 2017 (HVW 2017)