Communications Newsroom Contact Subscribe Newsletter News Feed Calendar Feed Social Media Newsroom Public Lecture Any Tag Award Call for Applications Conference Digital Humanism Epilog Grant Open Position People Public Lecture Report Studies Sustainability Talk Vienna Gödel Lecture Workshop Events Only Any Kind News Only Events Only 2024 Any Year 2024 2023 2022 2021 Show as Cards Show as List Show as Cards 14 results / Reset Filter 2024 Public Lecture May 27th 2024 Half a Century of Computer Science Love Story With TU Wien 2024-05-27 Excellence Join renowned Austrian computer scientist Georg Gottlob for a special jubilee lecture to celebrate the 20th anniversary of TU Wien Informatics. Public Lecture May 15th 2024 Gordana Dodig-Crnković: Computing From Living Cells 2024-05-15 Guest Professor Doctoral School We explore information processing in living organisms to better understand their computing mechanisms. Public Lecture Byron Cook: The Business of Proof 2024-04-17 Event Prof. Byron Cook, Vice President at Amazon Web Services, discusses Amazon’s novel approach to applying formal mechanical reasoning. Public Lecture Nick Bezhanishvili: Degrees of the Finite Model Property 2024-04-16 VCLA Public Outreach Nick Bezhanishvili of ILLC, University of Amsterdam talks about degrees of the finite model property for superintuitionistic and modal logics. Public Lecture Adrian Prantl: Debug Info for Concurrency 2024-04-12 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. Public Lecture Wolfgang Reisig: The Role of Modeling in Informatics 2024-04-10 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. Public Lecture Valeria de Paiva: Network Mathematics 2024-03-20 Women in Logic The first talk of VCLA’s new lecture series, “Women in Logic Online,” presents the collective “Women in Logic” and delves into network mathematics. Digital Humanism Virgilio Almeida: Algorithmic Institutionalism 2024-03-19 Public Lecture Event Virgilio Almeida introduces a new concept viewing algorithms as emerging institutions in modern societies. Digital Humanism Educating on Ethical and Social Impacts of Digital Technolo… 2024-03-05 Public Lecture Event Panel discussion on the challenges of designing new approaches and methods for educating computer professionals. Digital Humanism Daron Acemoğlu: Can we have pro-human AI? 2024-02-13 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. Public Lecture AI in Science: Challenges, Opportunities and the Future of … 2024-01-24 CAIML AI Alistair Nolan talks about the potential use of AI in science and research. Sustainability Franz Wotawa: Sustainability in Software Engineering 2024-01-22 Public Lecture Join our online public lecture series on sustainability in computer science this winter semester. Sustainability Kaspar Lebloch: Harnessing Untapped Potentials in the Inter… 2024-01-15 Public Lecture Join our online public lecture series on sustainability in computer science this winter semester. Sustainability Dieter Kranzlmüller: More Compute with Less Energy 2024-01-08 Public Lecture Join our online public lecture series on sustainability in computer science this winter semester.
Public Lecture May 27th 2024 Half a Century of Computer Science Love Story With TU Wien 2024-05-27 Excellence Join renowned Austrian computer scientist Georg Gottlob for a special jubilee lecture to celebrate the 20th anniversary of TU Wien Informatics.
Public Lecture May 15th 2024 Gordana Dodig-Crnković: Computing From Living Cells 2024-05-15 Guest Professor Doctoral School We explore information processing in living organisms to better understand their computing mechanisms.
Public Lecture Byron Cook: The Business of Proof 2024-04-17 Event Prof. Byron Cook, Vice President at Amazon Web Services, discusses Amazon’s novel approach to applying formal mechanical reasoning.
Public Lecture Nick Bezhanishvili: Degrees of the Finite Model Property 2024-04-16 VCLA Public Outreach Nick Bezhanishvili of ILLC, University of Amsterdam talks about degrees of the finite model property for superintuitionistic and modal logics.
Public Lecture Adrian Prantl: Debug Info for Concurrency 2024-04-12 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.
Public Lecture Wolfgang Reisig: The Role of Modeling in Informatics 2024-04-10 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.
Public Lecture Valeria de Paiva: Network Mathematics 2024-03-20 Women in Logic The first talk of VCLA’s new lecture series, “Women in Logic Online,” presents the collective “Women in Logic” and delves into network mathematics.
Digital Humanism Virgilio Almeida: Algorithmic Institutionalism 2024-03-19 Public Lecture Event Virgilio Almeida introduces a new concept viewing algorithms as emerging institutions in modern societies.
Digital Humanism Educating on Ethical and Social Impacts of Digital Technolo… 2024-03-05 Public Lecture Event Panel discussion on the challenges of designing new approaches and methods for educating computer professionals.
Digital Humanism Daron Acemoğlu: Can we have pro-human AI? 2024-02-13 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.
Public Lecture AI in Science: Challenges, Opportunities and the Future of … 2024-01-24 CAIML AI Alistair Nolan talks about the potential use of AI in science and research.
Sustainability Franz Wotawa: Sustainability in Software Engineering 2024-01-22 Public Lecture Join our online public lecture series on sustainability in computer science this winter semester.
Sustainability Kaspar Lebloch: Harnessing Untapped Potentials in the Inter… 2024-01-15 Public Lecture Join our online public lecture series on sustainability in computer science this winter semester.
Sustainability Dieter Kranzlmüller: More Compute with Less Energy 2024-01-08 Public Lecture Join our online public lecture series on sustainability in computer science this winter semester.