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