Skip to main navigation Skip to search Skip to main content

Lecture "Trust is good – certificates are better"

Activity: Talk or presentation › Invited talk › science-to-science

Description

How can we ensure that software delivers reliable results – even if it is so complex that it cannot be fully understood? Prof. Martina Seidl, Head of the Institute for Symbolic Artificial Intelligence at the Johannes Kepler University Linz, addressed this exciting question at an internal lecture on July 9, 2025 at the premises of RISC Software GmbH.
Period09 Jul 2025
Held atRISC Software GmbH, Austria
Degree of RecognitionRegional

Fields of science

  • 101013 Mathematical logic
  • 102031 Theoretical computer science
  • 603109 Logic
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence
  • 102030 Semantic technologies
  • 102 Computer Sciences

JKU Focus areas

  • Digital Transformation

Documents & Links