Austrian Workshop on Logic in Computer Science

In Memory of Helmut Veith

Turracher Höhe, Austria | January 26 - 29, 2020

Register

About HVW 2020

Workshop
Workshop

A workshop for logicians in computer science, held in memory of Helmut Veith, with an emphasis on the combination of research and social activities. In 2014, Helmut contacted Georg (Moser) with the following idea.

The Idea
The Idea

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.

Research and Social Activities
Research and Social Activities

This workshop, now in its fourth edition, aims to bring this idea to life. It will be held from Monday, January 27, to Wednesday, January 29, 2020, at the Schlosshotel Seewirt, Turracher Höhe, Austria, with arrival on Sunday, January 26, and includes three nights accommodation.

7
attendees

from all over

6
hours

of talks

42
km

of slopes for skiing

Latest News

Registration Open!

Workshop registration is now open. Registration is done by filling the relevant registration form. If you are registering and want to stay longer (or shorter) than the official workshop dates, or have any other requests, please let us know in the ... continue reading

Website Online!

The website for HVW’20, the fourth installment of the Austrian Workshop on Logic in Computer Science in Memory of Helmut Veith, is online. The workshop will again take place at the Schlosshotel Seewirt, situated right in the middle of the Turrache... continue reading

Location

Turracher Höhe

42km of groomed slopes

14 lifts to take you up the mountain

Austria's biggest funpark - if you dare

Venue

Sponsors

General sponsors

Registration

Non-Skiing

480 EUR

  • Three nights at Schlosshotel Seewirt
  • Participation in workshop
  • No skiing tickets
Register

Full Registration

579 EUR

  • Three nights at Schlosshotel Seewirt
  • Participation in workshop
  • Afternoon skiing tickets for workshop days
Register

Guest

N/A EUR

  • Staying together with full participant
  • Not a workshop participant
  • Price and details by individual arrangement
Register