Willkommen am Institut für Symbolic Artificial Intelligence.

Wir entwicklen Techniken und Werkzeuge für automatisches Schließen.

Wir erforschen und entwickeln symbolische Techniken und Werkzeuge zum automatischen Schließen. Diese finden in der künstlichen Intelligenz, aber auch in anderen Felder wie der formalen Verifikation ihre Anwendung.

Das Institut befindet sich gerade in seiner Aufbauphase.

Wir haben noch offene PhD- und Postdoc Stellen. Bei Interesse bitte bei Prof. Martina Seidl melden.

Institut für Symbolic Artificial Intelligence

Adresse

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

Standort

Open Innovation Center

Öffnungszeiten Sekretariat

Mo-Do: 10.00 - 12.00 Uhr

Telefon

+43 732 2468 5750

E-Mail

martina.seidl@jku.at

News 01.03.2021

Workshop: Beyond Satisfiability

Beyond Satisfiability Workshop am Simons Institute for the Theory of Computation, Berkeley