Helmut-Veith-Memorial Workshop 2020

DATE:Sunday, January 26, 2020 – Wednesday, January 29, 2020
VENUE:Hotel Schlosshotel Seewirt, Austria

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)



Comments are closed.