Theoretical Computer Science

Helmut Veith Memorial Workshop

January 31 – February 2, 2017, Obergurgl, Austria


In 2014, Helmut contacted me with the idea to organise a workshop for logicians in computer science in Austria, where he emphasised the combination of research and social activities (e.g. skiing):1
Folgende Idee (heute am Lift): Vielleicht sollte man eine Tradition
eines Logik-in-CS Workshops in Österreich einführen, so nach dem
Prinzip am Vormittag
arbeiten, am Nachmittag auf der Piste (oder im Bad). Wenn man das zu
einem Randtermin macht (März), kann man wahrscheinlich ein gutes Hotel
zu einem vernünftigen Preis bekommen, oder es gibt ein Schullandheim
The workshop aims to bring this idea to life.

Successful First Helmut Veith Memorial Workshop


Important Dates

Workshop: January 31 – February 2, 2017

Workshop Dinner: February 1, 2017


Tuesday Wednesday Thursday
  08:00 – 09:00 Moshe Vardi 08:00 – 09:00 Erich Grädel
  09:00 – 10:00 Morning Session 09:00 – 10:00 Morning Session
Skiing or Wintry Activities
Skiing or Wintry Activities
14:00 – 16:00 Afternoon Session 14:00 – 16:00 Afternoon Session
17:00 – 18:30 Afternoon Session 16:30 – 18:30 Afternoon Session
  20:00 Workshop Dinner  


Keynote presentations (held by Erich Grädel and Moshe Vardi) will last 1h; technical contributions will last 20 minutes (including questions).

Organisation Committee

1. "The following idea (today on the skilift): Perhaps one should initiate the tradition of a logic-in-CS workshop in Austria. Following the principle to work in the morning and to ski (or bath) in the afternoon. If one organises this off season one could get a good hotel for a reasonable price or there is country house of a school or similar, etc. " (own translation)"