History
In 2014, Helmut contacted Georg (Moser, the organizer of the first edition of HVW) 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):
The workshop aims to bring this idea to life.
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 etc.
The workshop aims to bring this idea to life.
Important Dates
Arrival: January 28, 2018
Workshop: January 29 - 31, 2018
Format
Starting with the keynote talk by Orna Grumberg on Monday morning, talks will be scheduled Monday - Wednesday morning.
The afternoons are left open for discussions, joint work, and skiing.