Projects per year
-
Combining Generalization Algorithms
Kutsia, T. (Researcher)
01.01.2026 → 31.12.2027
Project: Funded research › Other mainly public funds
-
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
-
Orthogonality and Symmetry
Vetterlein, T. (PI), Lindenhovius, A. (Researcher), Länger, H. (Researcher), Svozil, K. (Researcher) & Behrisch, M. (Researcher)
01.04.2025 → 31.03.2028
Project: Funded research › FWF - Austrian Science Fund
-
Sampling projections in the uniform norm
Krieg, D., Pozharska, K., Ullrich, M. & Ullrich, T., 15 Jan 2026, In: Journal of Mathematical Analysis and Applications. 553, 2, 17 p., 129873.Research output: Contribution to journal › Article › peer-review
Open Access -
15th International Conference on Interactive Theorem Proving, ITP 2024, LIPIcs 309, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024
Bertot, Y. (Editor), Kutsia, T. (Editor) & Norrish, M. (Editor), 2025, (Leibniz International Proceedings in Informatics (LIPIcs); vol. 309)Research output: Book › Anthology › peer-review
-
Adjointable maps between linear orthosets
Paseka, J. & Vetterlein, T., 01 Oct 2025, In: Journal of Mathematical Analysis and Applications. 550, 1, 19 p., 129494.Research output: Contribution to journal › Article › peer-review
Activities
-
40th International Workshop on Unification (Event)
Kutsia, T. (Member)
24 Jul 2026Activity: Membership/Function › Program committee
-
40th Annual AAAI Conference on Artificial Intelligence (Demo Track) (Event)
Kutsia, T. (Member)
20 Jan 2026 → 27 Jan 2026Activity: Membership/Function › Program committee
-
International Symposium on Artificial Intelligence and Mathematics (Event)
Kutsia, T. (Member)
07 Jan 2026 → 09 Jan 2026Activity: Membership/Function › Program committee
Prizes
-
-
Best paper award
Ayala-Rincón, M. (Recipient), Fernández, M. (Recipient), Ferreira Silva, G. (Recipient), Kutsia, T. (Recipient) & Nantes-Sobrinho, D. (Recipient), 2023
Prize: Prize, award or honor
-
Best Paper Award and Best Presentation Award at CICM 2018 for Alexander Maletzky
Maletzky, A. (Recipient), 2018
Prize: Prize, award or honor
Press/Media
-
-
Telephone conversation with a computer
Efrosinin, D. & Winkler, A.
01.01.2010
1 item of Media coverage
Press/Media