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...