Communications Newsroom Newsletter Contact Newsroom Any Tag Any Tag Alumni Award Call Conference Open Position People Report Talk Teaching Workshop Any Kind Any Kind News Only Events Only Recent Recent 2020 2019 2018 Show as Cards Show as List Show as Cards 30 results / Reset Filter 2020 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. Talk Incompressible Image Registration 2020-02-11 Lucas Fidon (KCL) talks about stationary velocity fields (SVFs) parameterized by divergence-conforming B-splines in the context of image registration. 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. 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. Open Position Apply for 5 PhD and 3 PostDoc Positions 2020-01-29 Research TU Wien is looking for exceptionally talented and highly motivated candidates for its SFB Advanced Computational Design. Alumni This Was the 29th Epilog 2020-01-22 Epilog Report Excellence Students We honored our most excellent students of this winter term for their outstanding achievements in their studies. Award 29th Epilog – Celebrating Excellence 2020-01-14 Teaching Event Excellence Students Once again, we honor this term’s most excellent students for their achievements at the Festsaal of TU Wien. Teaching Infoevent zum neuen Erweiterungsstudium “Digitale Kompetenz… 2020-01-07 Event Unser Erweiterungsstudium vermittelt Ihnen Wissen und Fähigkeiten, um mit digitalen Technologien kreativ und gestaltend umzugehen und sie eigenständig weiterzu… Teaching Introduction to the New Interdisciplinary Minor Program “Di… 2020-01-07 Event Starting in March, our minor program enables undergraduates of TU Wien to design and develop tomorrow’s technology. 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. 2019 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. Conference 9th International Conference on C&T - Transforming Communit… 2019-12-12 Research In the third lecture in our series, Edward Ashford Lee presents the case for considering digital beings to be living, then offers counterarguments. Talk An Insightful Farewell to the Dean’s Team 2019-12-10 Event We send off the dean and his team, who have shaped our faculty since 2016, with a special event and a keynote by James Larus (EPF Lausanne). Teaching Towards an Integrated Informatics Curriculum 2019-11-27 Talk Event Education Outreach Stefan Pasterk (University of Klagenfurt) presents ideas, concepts and evaluation methods to broadly introduce a continuous Informatics curriculum. Open Position 8 Funded PhD Positions at the DC LogiCS 2019-12-10 Call We invite applications for 8 three-year PhD positions funded by the Austrian Science Fund (FWF) until January 11, 2020. Talk Chikira and the Four Sighters 2019-11-27 Research Austen Rainer (Queen’s University Belfast) shares his experience with the potential and concepts of design thinking in software innovation, and presents ideas … 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. Talk Computational Thinking: Essential Tensions and Debates 2019-11-27 PhD School Matti Tedre (University of Eastern Finland) speaks about different approaches to the concepts of Computational Thinking in science and education. Talk Probabilistic Programming: Machine Learning for the Masses? 2019-11-27 Joost-Pieter Katoen (RWTH Aachen) gives a historical perspective and indicates what formal methods can mean for probabilistic programs. Workshop Computing Is Too Important to Be Left to Men 2019-11-14 Event Panel Discussion Women in Informatics Social Responsibility In workshops and a public panel discussion, international experts investigate women-promoting measures and present successful concepts. Award CVAST Wins VIS4DH Best Paper Award at the IEEE VIS 2019 2019-11-28 Research News The team’s paper won them the newly established award at this year’s IEEE in Vancouver. Grant New Special Research Programme on Advanced Computational De… 2019-11-28 News TU Wien won FWF grant to advance design tools for building planning through multi- and interdisciplinary basic research. 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. Event Excellence in Research: DC-RES and Carlo Ghezzi 2019-11-11 Research DC-RES We invite you to a guest talk by Carlo Ghezzi and to learn more about our Doctoral College on Resilient Embedded Systems. Bachelor with Honors Bachelor with Honors: Everything you need to know 2019-10-10 Teaching Event You're interested in our Excellence Program Bachelor with Honors? Then join us at the next info event. Digital Humanism Gerfried Stocker: “Humanizing Technology Through Arts” 2019-10-20 Public Lecture Social Responsibility The second lecture in our series asks what kind of digital society we want, how we can get there, and what role the Arts can play in it. 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.