We congratulate Stefan Podlipnig.
For mor information, visit the following link: https://www.tuwien.at/studium/lehren-an-der-tuw/best-teaching-awards/best-teaching-awards-2019
-
Stefan Podlipnig was awarded with the teaching prize 2017 for the Faculty of Computer Science.
-
Marion Oswald was awarded as best external lecturer 2017 of TU Vienna.
Informatik, vlnr: Vizerektor Kurt Matyas, Marion Oswald, Eduard Gröller, Peter Purgathofer, Stefan Podlipnig, Wolfg...
The workshop "Proof Theory: Herbrand's Theorem revisited" will take place on 25.-27.5.2017 at TU Wien and is co-organized by the Kurt Gödel Society.
Herbrand's theorem belongs to the greatest results in logic of the 20th century. This result had a major impact on proof theory and automated dedu...
Anela Lolic got the prize for the best Master Thesis at the Computer Science Faculty of TU Wien (EPILOG WS 2015 prize) with the Thesis Herbrand sequents and the Skolem-free CERES method under the supervision of Alexander Leitsch
Christoph Wolfgang Spoerk got the prize for the best Poster presenta...
