Blog

Latest News

Registration Open!

Posted:

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 “additional information” field of the form in section 2. If you want to attend the workshop as a gue... continue reading

Website Online!

Posted:

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 Turracher Höhe skiing area. As last year, the workshop will consist of three days, where each day starts wit... continue reading

Workshop Program Online!

Posted:

The workshop program has now been fixed, and is available here! There will be a number of interesting talks during the workshop program, and our invited speaker, Lutz Schröder, will give a Tutorial on coalgebraic logic. We look forward to seeing you at the workshop. continue reading

Subscribe via RSS