Projects per year
Organisation profile
Organisation profile
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.
Fields of science
- 101013 Mathematical logic
- 603109 Logic
- 102 Computer Sciences
- 102031 Theoretical computer science
- 102030 Semantic technologies
- 102011 Formal languages
- 102022 Software development
- 102001 Artificial intelligence
JKU Focus areas
- Digital Transformation
-
MIND: Medical Intelligence for Next Generation Diagnostics
Hamidovic, M. (PI), Zelko, E. (Co-PI), Khanzadeh, R. (Researcher), Fuger, J. (Researcher), Seidl, M. (Researcher), Salzer, H. (Researcher) & Springer, A. (Researcher)
01.04.2026 → 30.11.2027
Project: Funded research › Federal / regional / local authorities
-
Industrial problem solving using symbolic and subsymbolic AI
Schreiner, W. (PI), Schneider, C. (PI) & Seidl, M. (PI)
01.05.2025 → 31.10.2026
Project: Funded research › FFG - Austrian Research Promotion Agency
-
Cluster of Excellence "Bilateral Artificial Intelligence"
Fürnkranz, J. (PI), Hochreiter, S. (PI), Klambauer, G. (PI), Schedl, M. (PI), Seidl, M. (PI), Widmer, G. (PI), Brandstetter, J. (PI), Kobler, E. (PI), Aichernig, B. (PI), Heisinger, M. (Researcher), Hoedt, P.-J. (Researcher), Pfeiffer, P. (Researcher), Plank, A. (Researcher), Radler, A. (Researcher), Rebola Pardo, A. (Researcher), Lin, W. (Researcher), Eckert, H. (Researcher), Cranganore, S. S. (Researcher), Hartl, A.-R. (Researcher), Plasser, M. (Researcher), Pammer, T. (Researcher), Tommasel, A. (Researcher), Nawaz, S. (Researcher), Masoudian, S. (Researcher) & Freinschlag, R. (Researcher)
01.10.2024 → 30.09.2029
Project: Funded research › FWF - Austrian Science Fund
-
A constraint-based approach to personal task scheduling using MiniZinc
de Jong, A. M., Mar 2026, 73 p.Research output: Thesis › Master's / Diploma thesis
-
Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
Hofstadler, C., Kaufmann, D. & Chen, C., 10 Mar 2026, arXiv, 23 p. (arXiv.org; no. 2603.09501).Research output: Working paper and reports › Preprint
Open Access -
Component-oriented optimization of SAT encodings
Waidhofer, F., Feb 2026, 76 p.Research output: Thesis › Master's / Diploma thesis
Activities
-
Reason with SAT For Rule Learning
Seidl, M. (Speaker)
07 Jul 2026Activity: Talk or presentation › Invited talk › science-to-science
-
Trust me, your Computer - Using Logic to Make Programs More Reliable
Peyrer, C. (Speaker)
19 May 2026Activity: Talk or presentation › Invited talk › science-to-public
-
QSOLE: Automatic QBF Equivalence Checking
Pfeiffer, P. (Speaker)
13 Apr 2026Activity: Talk or presentation › Contributed talk › science-to-science
Prizes
-
-
-
Kepler Award 2024 for the course "Logic", co-lectured by the institutes RISC (Wolfgang Schreiner and Wolfgang Windsteiger) and SAI (Martina Seidl)
Schreiner, W. (Recipient), Windsteiger, W. (Recipient) & Seidl, M. (Recipient), 2024
Prize: Prize, award or honor
Datasets
-
QRP+Gen: Checking Q-Resolution Proofs with Generalized Axioms
Peyrer, M. (Creator) & Seidl, M. (Creator), Zenodo, 22 Jul 2025
DOI: 10.5281/zenodo.16307432, https://zenodo.org/records/16307432
Dataset
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M. (Creator), Heisinger, M. (Creator) & Seidl, M. (Creator), Zenodo, 19 Aug 2024
Dataset