Helmut Veith Memorial Workshop

January 31 – February 2, 2017, Obergurgl, Austria

Introduction

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):¹

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.

Successful First Helmut Veith Memorial Workshop

Important Dates

Workshop: January 31 – February 2, 2017

Workshop Dinner: February 1, 2017

Overview

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
Opening	14:00 – 16:00 Afternoon Session	14:00 – 16:00 Afternoon Session
17:00 – 18:30 Afternoon Session	16:30 – 18:30 Afternoon Session	Closing

	20:00 Workshop Dinner

Format

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

Organisation Committee

Martina Ingenhaeff
Georg Moser

^{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)"↩}