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 for automated reasoning.

We investigate and develop symbolic techniques and tools for automated reasoning. These have their applications in artificial intelligence, but in other domains like formal verification as well.

The institute has been currently founded. More information will follow soon.

We have open PhD and Postdoc positions. Please contact Prof. Martina Seidl for further 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

Mo-Thu: 09:00 - 12:00

Telephone

+43 732 2468 5751

E-Mail

sai@jku.at

Campus Location
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