TU Wien Informatics


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

Oct 2019

  • Oct 29, 2019 Award, Teaching, News, Excellence, Students Rector Sabine Seidler and Norbert J. Mauser (Wolfgang Pauli Institute) will commend Viktoriia for her excellent work in research and studies.
  • Oct 1, 2019 Bachelor with Honors, Event, Internship, First-Years, Excellence, Students Meredith Blumthal (University of Illinois at Urbana-Champaign) presents the UIUC, and answers your questions about their internship program.

Sep 2019

Jul 2019