Go to JKU Homepage
Institute for Symbolic Artificial Intelligence
What's that?

Institutes, schools, other departments, and programs create their own web content and menus.

To help you better navigate the site, see here where you are at the moment.

Institute for Symbolic Artificial Intelligence.

We develop techniques and tools to support automated reasoning.

We investigate and develop symbolic techniques and tools to support automated reasoning. These have applications in artificial intelligence as well as other domains, such as formal verification.

The institute is new and detailed information will be available shortly.

We have open PhD and post-doc positions. Please contact Prof. Martina Seidl for additional information.


Institute for Symbolic Artificial Intelligence


Johannes Kepler Universität Linz
Altenberger Straße 69
4040 Linz


Science Park 4, 3rd Floor, Room 342

Office Hours

Mon-Thurs: 9:00 AM - 12:00 PM


+43 732 2468 5751



News 14.05.2024

Kepler Awards 2024

Univ.-Prof.in Dr.in Martina Seidl, A.Univ.-Prof. Dr. Wolfgang Schreiner und Assoz. Univ.-Prof. Dr. Wolfgang Windsteiger won the Kepler Award in the category "Best Practice" for the lecture "Logic".


News 14.05.2024

Cluster of Excellence

“Bilateral AI”: Austrian Science Fund ‘Cluster of Excellence’ Funding for a JKU-Led Project.

Funding of up to €70 million will be available to conduct base-knowledge research into artificial intelligence.

Under the leadership of Sepp Hochreiter, an AI pioneer at the Johannes Kepler University Linz, the new Austrian Science Fund ‘Cluster of Excellence’ supports bringing leading Austrian researchers and scholars in the field of artificial intelligence (AI) together in an effort to develop a new level of AI, so-called “Broad AI”, to, for example, deliver significantly better and broader problem-solving capabilities than ChatGPT.


[Translate to Englisch:] Team Cluster of Excellence JKU
News 29.03.2024

IJCAR 2024

Two of our papers had been accepted at the IJCAR 2024 (International Joint Conference on Automated Reasoning), in Nancy, France. The conference will take place from 01. - 06. July 2024.

Maximilian Heisinger, Simone Heisinger and Martina Seidl Booleguru, the Propositional Polyglot

Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo and Martina Seidl Quantifier Shifting for Quantified Boolean Formulas Revisited

Homepage of the conference: https://merz.gitlabpages.inria.fr/2024-ijcar/

Fahrradständer vor dem Science Park 3 am JKU Campus