Zur JKU Startseite
Institut für Symbolic Artificial Intelligence
Was ist das?

Institute, Schools und andere Einrichtungen oder Angebote haben einen Webauftritt mit eigenen Inhalten und Menüs.

Um die Navigation zu erleichtern, ist hier erkennbar, wo man sich gerade befindet.

News&Events

News
Kepler Award 2024

Kepler Awards 2024

Univ.-Prof.in Dr.in Martina Seidl, A.Univ.-Prof. Dr. Wolfgang Schreiner und Assoz. Univ.-Prof. Dr. Wolfgang Windsteiger gewinnen den Kepler Award in…

News
Team Cluster of Excellence JKU

Cluster of Excellence

„Bilaterale KI“: Projekt unter Leitung der JKU erhält FWF Cluster of Excellence.

Bis zu 70 Millionen Euro stehen für Grundlagenforschung zur…

News
Fahrradständer vor dem Science Park 3 am JKU Campus

IJCAR 2024

Zwei unserer Paper wurden auf der IJCAR 2024 (International Joint Conference on Automated Reasoning) in Nancy, Frankreich, akzeptiert. Die Konferenz…

News

TACAS 2023

Unser Tool Paper "ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving" wurde bei TACAS 2023 (29th International…

News

Auszeichnung!

Maximilian Heisinger wurde mit dem Adolf-Adam-Preis ausgezeichnet.

Ende Dezember präsentierte er vor rund 450 Oberstufenschüler*innen im Hörsaal 1…