Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Fachvortrag "Vertrauen ist gut – Zertifikate sind besser"

Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › Science-to-science

Beschreibung

Wie lässt sich sicherstellen, dass Software verlässliche Ergebnisse liefert – selbst wenn sie so komplex ist, dass man sie nicht vollständig verstehen kann? Dieser spannenden Frage widmete sich Prof. Martina Seidl, Leiterin des Instituts für Symbolic Artificial Intelligence an der Johannes Kepler Universität Linz, bei einem internen Fachvortrag am 9. Juli 2025 in den Räumlichkeiten der RISC Software GmbH.
Zeitraum09 Juli 2025
Gehalten amRISC Software GmbH, Österreich
BekanntheitsgradRegional

Wissenschaftszweige

  • 101013 Mathematische Logik
  • 102031 Theoretische Informatik
  • 603109 Logik
  • 102011 Formale Sprachen
  • 102022 Softwareentwicklung
  • 102001 Artificial Intelligence
  • 102030 Semantische Technologien
  • 102 Informatik

JKU-Schwerpunkte

  • Digital Transformation

Dokumente & Verweise