TU Wien Informatics


Stay in Touch

  • News Feed, subscribe in your feed reader
  • Calendar, subscribe in your calendar application
  • Newsletter, delivered monthly to your e-mail inbox
  • Facebook, if you… well, like Facebook
  • Search for particular terms (e.g., “gödel lecture”)


Mar 2020

  • Mar 12, 2020 Talk In his talk, Rajeev Alur (UPenn) will use the experimental platform of the autonomous F1/10 racing car to highlight research challenges for verifying safety.
  • Mar 4, 2020 Talk, PhD School Erika Ábrahám (RWTH) gives a historical overview of this development, describes her own solver SMT-RAT, and discusses some applications and potentials.

Feb 2020

Jan 2020


Dec 2019

Nov 2019