Helmut


Current research projects:

Current conference activities:

Program committee member of CSL 2018, IJCAR 2018, LATD 2018, Colloquium Logicum 2018 (CL 2018), CSL 2017, WOLLIC 2017, Manyval 2017, Tableaux 2017, OeMG-DVM 2017 (co-chair of the section Algebra, Logic and Set Theory), TACL 2017, ICLA 2017.


Opening of the Vienna Summer of Logic (Eiter, Veith, Ciabattoni, Scott, Papadimitriu, Vardi, Szeider, Gottlob) Logic -- the most important science on earth (Cover story of "Profil ", June 2014) Austria's news weekly "Profil ", December 2015