Website of HVW 2020 is Online!
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
Workshop Program Online!
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 ... continue reading