News of the Institute of Computer Science Polish Academy of Sciences

  

The paper Computable Universal Online Learning by Dariusz Kalociński (IPI PAN) and Tomasz Steifer (IPPT PAN) has been accepted for presentation at NeurIPS 2025, one of the world’s leading conferences on machine learning and artificial intelligence.

The research was carried out as part of the project entitled: "Computable structure theory, and philosophy of mathematical structuralism" financed by the National Science Centre (NCN), project no 2023/49/B/HS1/03930.

  

A paper co-authored by Paweł Teisseyre has been published in the proceedings of the AISTATS 2025 (Artificial Intelligence and Statistics) conference. Paper PU learning @ AISTATS 2025.

This is a joint work with research group from KU Leuven University (Prof. Jesse Davis, Dr. Jessa Bekker, and Timo Martens). The article focuses on learning from positive and unlabeled data (Positive-Unlabeled learning / PU learning).

Marta Kwiatkowska, Professor at IPI PAN, and her collaborators Gethin Norman, University of Glasgow, and David Parker, University of Oxford, have been awarded the 2024 ETAPS Test-of-Time Tool Award for their tool PRISM.

PRISM (www.prismmodelchecker.org) is a software tool for modelling and studying the behaviour of real-world systems exhibiting uncertainty or randomness. It has been used for a diverse range of applications, from internet security protocols, to quantum cryptography and protein interactions in the human cell. PRISM is based on rigorous, mathematical foundations and is particularly well suited to safety-critical applications, from assessing the reliability of airbag control software to building robust controllers for autonomous mobile robots in hazardous environments.

PRISM has been in continuous development for over 20 years and is the most widely used tool of its kind, deployed for research and teaching worldwide. Over 800 research papers have been published describing the tool, its applications and its extensions. It has also been used in industrial projects and labs, from cloud computing at Fujitsu to fault-tolerant architectures at Honeywell and airbag safety at TRW Automotive. PRISM is open source and has been adapted by researchers worldwide. PRISM’s modelling language has become a de facto standard for representing probabilistic models within the formal verification community, and has been adopted and extended by many other tools. ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science, and has been running for over 25 years. The ETAPS Test-of-Time Tool Award was initiated to recognise “the importance of reliable and well-maintained research tools and the significant effort that their creation and maintenance entails”. It acknowledges tools that have a lasting effect on the community. ETAPS 2024 was held in Luxembourg, where the award was presented.

On January 31, an article by Prof. Wojciech Penczek, Łukasz Maśko and Teofil Sidoruk, written in collaboration with Prof. Laure Petrucci, Carlos Olarte, and Jaime Arias from Université Sorbonne Paris Nord, was published in IEEE Transactions on Reliability. The paper "Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models" follows earlier work [1] that proposed representing attack-defence trees (ADTrees) as multi-agent systems. ADTrees are a popular formalism for studying security scenarios where two opposing parties attempt to achieve sub-goals (tree nodes) comprising the overall objective (tree root), or try to prevent the other group from doing so. With the translation to an agent-based formalism, one can additionally consider the attackers and defenders in these scenarios as agent coalitions. As such, not only do they have a particular number of agents, but also specific assignment to sub-goals. This can determine not only the feasibility of an attack or defence, but also its time, cost, or other quantitative metrics of interest.