Organisationsprofil
Organisationsprofil
Wissenschaftszweige
- 101013 Mathematische Logik
- 603109 Logik
- 102 Informatik
- 102031 Theoretische Informatik
- 102030 Semantische Technologien
- 102011 Formale Sprachen
- 102022 Softwareentwicklung
- 102001 Artificial Intelligence
JKU-Schwerpunkte
- Digital Transformation
-
MIND: Medical Intelligence for Next Generation Diagnosis
Hamidovic, M. (Projektleiter*in), Zelko, E. (Co-Projektleiter*in), Khanzadeh, R. (Forscher*in), Fuger, J. (Forscher*in), Seidl, M. (Forscher*in), Salzer, H. (Forscher*in) & Springer, A. (Forscher*in)
01.04.2026 → 30.11.2027
Projekt: Geförderte Forschung › Bund / Land / Gemeinden
-
Industrial problem solving using symbolic and subsymbolic AI
Schreiner, W. (Projektleiter*in), Schneider, C. (Projektleiter*in) & Seidl, M. (Projektleiter*in)
01.05.2025 → 31.10.2026
Projekt: Geförderte Forschung › FFG - Österreichische Forschungsförderungsgesellschaft
-
Cluster of Excellence "Bilateral Artificial Intelligence"
Fürnkranz, J. (Projektleiter*in), Hochreiter, S. (Projektleiter*in), Klambauer, G. (Projektleiter*in), Schedl, M. (Projektleiter*in), Seidl, M. (Projektleiter*in), Widmer, G. (Projektleiter*in), Brandstetter, J. (Projektleiter*in), Kobler, E. (Projektleiter*in), Aichernig, B. (Projektleiter*in), Heisinger, M. (Forscher*in), Hoedt, P.-J. (Forscher*in), Pfeiffer, P. (Forscher*in), Plank, A. (Forscher*in), Radler, A. (Forscher*in), Rebola Pardo, A. (Forscher*in), Lin, W. (Forscher*in), Eckert, H. (Forscher*in), Cranganore, S. S. (Forscher*in), Hartl, A.-R. (Forscher*in), Plasser, M. (Forscher*in), Pammer, T. (Forscher*in), Tommasel, A. (Forscher*in), Nawaz, S. (Forscher*in), Masoudian, S. (Forscher*in) & Freinschlag, R. (Forscher*in)
01.10.2024 → 30.09.2029
Projekt: Geförderte Forschung › FWF - Österreichischer Wissenschaftsfonds
-
f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
Heisinger, M. & Hofstadler, C., 2026, Computer Algebra in Scientific Computing: 27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24–28, 2025, Proceedings. Boulier, F., Mou, C., Sadykov, T. M. & Vorozhtsov, E. V. (Hrsg.). 1 Aufl. S. 79-97 19 S. (Lecture Notes in Computer Science; Band 16235 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Refined Notions of QBF Equivalences
Pfeiffer, P., Große, D. & Seidl, M., 2026, Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Proceedings: 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part II. Casini, G., Dundua, B. & Kutsia, T. (Hrsg.). 1 Aufl. Springer, Cham, S. 159–165 7 S. (Lecture Notes in Computer Science; Band 16094 LNAI).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
(Semantic) Feature Model Differences with (Q)SAT
Heisinger, S., Heisinger, M. & Seidl, M., 17 Juni 2025, SLE '25: Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineerin. 1 Aufl. S. 189-198 10 S. (SLE 2025 - Proceedings of18th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with: STAF 2025).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access
Aktivitäten
-
Ö1 Diskussion "Was die Welt zusammenhält"
Seidl, M. (Teilnehmer*in) & Kocher, M. (Teilnehmer*in)
15 Dez. 2025Aktivität: Sonstige
-
f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
Hofstadler, C. (Vortragende*r)
27 Nov. 2025Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
-
InProSSA: Automatising Industrial Optimisation
Del Rio Almajano, T. (Vortragende*r)
17 Nov. 2025Aktivität: Vortrag oder Präsentation › Anderer Vortrag oder Präsentation › Science-to-science
Auszeichnungen
-
Auszeichnung "Promotio sub auspiciis"
Hofstadler, C. (Empfänger*in), 17 März 2025
Auszeichnung: Preis, Auszeichnung oder Ehrung
-
Dissertationspreis 2024
Hofstadler, C. (Empfänger*in), 2024
Auszeichnung: Preis, Auszeichnung oder Ehrung
-
JKU Young Researchers’ Award
Hofstadler, C. (Empfänger*in), 2024
Auszeichnung: Preis, Auszeichnung oder Ehrung
Forschungsdatensätze
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M. (Urheber*in), Heisinger, M. (Urheber*in) & Seidl, M. (Urheber*in), Zenodo, 19 Aug. 2024
Datensatz
-
QRP+Gen: Checking Q-Resolution Proofs with Generalized Axioms
Peyrer, M. (Urheber*in) & Seidl, M. (Urheber*in), Zenodo, 22 Juli 2025
DOI: 10.5281/zenodo.16307432, https://zenodo.org/records/16307432
Datensatz