TU Wien Informatics

20 Years

2024

May 2024

Apr 2024

  • Apr 17, 2024 Public Lecture, Event Prof. Byron Cook, Vice President at Amazon Web Services, discusses Amazon’s novel approach to applying formal mechanical reasoning.
  • Apr 16, 2024 Public Lecture, VCLA, Public Outreach Nick Bezhanishvili of ILLC, University of Amsterdam talks about degrees of the finite model property for superintuitionistic and modal logics.
  • Apr 12, 2024 Public Lecture, Research Join Dr. Adrian Prantl from Apple in Cupertino, CA, USA for a deep dive into the seamless debugging experience for Swift async functions with LLVM/LLDB.
  • Apr 10, 2024 Public Lecture, Guest Professor, Doctoral School We explore the potential of a modeling-first approach in software development, constructing models from the perspective of real-world problems to be solved.

Mar 2024

Feb 2024

  • Feb 13, 2024 Digital Humanism, Public Lecture, Event Daron Acemoğlu discusses how generative AI can be a force for good or evil, depending on the choices we make as a society.

Jan 2024

2023

Dec 2023

Nov 2023

Oct 2023

Jun 2023