Team

Organizational Committee

As friends and colleagues of Helmut, we aim to bring his idea of an Austrian workshop for logic in computer science to life. The idea to emphasize a combination of research and social activities was born when Helmut contacted Georg (Moser, organizer of the first edition of the workshop) in 2014: >> 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. <<

Organizers

Anna Prianichnikova

TU Wien

Ana Sokolova

University of Salzburg

Michael Morak

University of Klagenfurt