Helmut


Current research projects:

Algebra and Coalgebra meet Proof Theory ALCOP 2016 , Vienna April 7-9, 2016



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