• Helmut Veith Stipend for Female Master Students in CS. Deadline November 30, 2018. (In Memory of Helmut , always in our hearts)
  • Current research projects:

    Current conference activities:




    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