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

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

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

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

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

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

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