The website for the 2020 edition of the Helmut Veith Workshop, now the Austrian Workshop on Logic in Computer Science, is now online. Please find it here. We look forward to seeing you at the workshop in 2020. continue reading
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
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
The website for HVW’19, the third installment of the Helmut Veith Memorial Workshop, is online. The workshop will 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 with a half-day of talks, and leaves time for social... continue reading
Subscribe via RSS