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.
Posted:
Nov 6, 2019