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 Mar­tina Seidl, A.Univ.-Prof. Dr. Wolf­gang Schrei­ner und Assoz. Univ.-Prof. Dr. Wolf­gang Wind­stei­ger gewin­nen den Kep­ler Award in…

News
Team Cluster of Excellence JKU

Cluster of Excel­lence

„Bila­te­rale KI“: Pro­jekt unter Lei­tung der JKU erhält FWF Clus­ter of Excel­lence.

Bis zu 70 Mil­lio­nen Euro ste­hen für Grund­la­gen­for­schung zur…

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

IJCAR 2024

Zwei unse­rer Paper wur­den auf der IJCAR 2024 (Inter­na­tio­nal Joint Con­fe­rence on Auto­ma­ted Rea­so­ning) in Nancy, Frank­reich, akzep­tiert. Die Kon­fe­renz…

News

TACAS 2023

Unser Tool Paper "ParaQooba: A Fast and Fle­xi­ble Frame­work for Par­al­lel and Dis­tri­bu­ted QBF Sol­ving" wurde bei TACAS 2023 (29th Inter­na­tio­nal…

News

Auszeich­nung!

Maxi­mi­lian Hei­sin­ger wurde mit dem Adolf-​Adam-Preis aus­ge­zeich­net.

Ende Dezem­ber prä­sen­tierte er vor rund 450 Ober­stu­fen­schü­ler*innen im Hör­saal 1…