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
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…

News

Wir gratulieren...

..unserem Kollegen Max Heisinger für die Nominierung seiner Masterarbeit im Rahmen des Adolf-Adam-Informatikpreises 2022. Die Preisträgerin bzw. der…

News

Antrittsvorlesung

Univ.-Prof.in Dr.in Martina Seidl
Symbolic Artificial Intelligence: Intelligenz durch formale Logik

  • Datum: Montag, 4. Oktober 2021, 16:00 Uhr
  • Ort:…
News

Workshop: Beyond Satisfiability

Beyond Satisfiability Workshop am Simons Institute for the Theory of Computation, Berkeley