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.

Deutsch, Sprache wechseln
Go to JKU Homepage

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

Address

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

Location

Science Park 4, 3rd Floor, Room 342

Office Hours

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

Telephone

+43 732 2468 5751

E-Mail

sai@jku.at

Campus Map
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/

To article
To overview
Go to JKU Homepage

Johannes Kepler University Linz

Altenberger Straße 69

4040 Linz, Austria

Telephone +43 732 2468 0
Fax +43 732 2468 4929
Contact