People Gerald Futschek Receives ETH Zürich Medal of Honor 2020-02-12 Award Education Outreach Gerald Futschek was awarded a medal of honor at ETH Zürich for his services to teaching Informatics. Talk March 12th 2020 Safety Autonomy: A Formal Methods Approach 2020-02-17 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. Talk March 4th 2020 The Power of Satisfiability Checking 2020-02-12 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. Award Outstanding Dissertation Award for Katta Spiel 2020-02-17 Excellence Katta received the prestigious ACM SIGCHI award for the research on technology experience and autistic children. Call 2020 VCLA International Student Awards 2020-02-13 VCLA Students Our VCLA calls for nominations of outstanding Master’s and Bachelor’s theses in the field of logic and computer science until March 25. Open Position Two Assistant Professor Positions (Tenure Track) for Female… 2020-01-13 Call Women in Informatics We invite applications for two positions of an Assistant Professor until March 8, 2020. The estimated starting date is in October 2020. Call DC Resilient Embedded Systems: Call for Application 2019-11-19 DC-RES PhD School Apply for a funded four-year doctoral position at our Doctoral College until March 24, 2020. The call is open for applications. Report An Insightful Farewell to the Dean’s Team: Report 2019-12-19 Faculty We have sent off the dean and his team, who have shaped our faculty since 2016, with a special event and a keynote by James Larus from EPF Lausanne. Report Computing Is Too Important to Be Left to Men: Report 2019-12-05 News Women in Informatics We invited international experts to investigate women-promoting measures and successful concepts. Here are their findings and ideas. People #5QW: Peter Knees 2019-11-27 #5qw Faculty Peter works in music information retrieval, an intersection of artificial intelligence and music, and deals with recommender systems. News THE 2020: TU Wien Informatics Comes In 76th 2019-11-26 Rankings Despite increasing international competition in Academia, we were able to hold our ground in THE’s latest ranking of the subject Computer Science. Digital Humanism Vienna Positions Itself as Centre for Digital Humanism 2019-11-19 Grant News TU Wien Informatics wins two out of nine grants awarded by the Vienna City Councillor for Cultural Affairs and Science. People #5QW: Timon Höbert 2019-08-10 #5qw Students We met with Timon and spoke about his ambitions and his thoughts on how to get young girls into Informatics.