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
-
Proof Complexity and Certification in QBF, PSPACE and Beyond
Chew, L. (PI) & Seidl, M. (Co-PI)
01.09.2026 → 31.08.2030
Project: Funded research › FWF - Austrian Science Fund
-
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
-
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 -
Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
Hofstadler, C., Kaufmann, D. & Chen, C., 24 Jul 2026, Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I. Biere, A., Lutz, C. & Negri, S. (eds.). 1 ed. Springer, Cham, p. 175-193 19 p. (Lecture Notes in Computer Science; vol. 16688 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access
Activities
-
Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
Hofstadler, C. (Speaker)
29 Jul 2026Activity: Talk or presentation › Contributed talk › science-to-science
-
QBF Gallery: The Results
Seidl, M. (Speaker), Peyrer, C. (Contributor) & Pulina, L. (Contributor)
23 Jul 2026Activity: Talk or presentation › Invited talk › science-to-science
-
Definition-based dependency schemes
Kattermann, D. (Speaker), Seidl, M. (Contributor) & Hofstadler, C. (Contributor)
22 Jul 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