Milica Todorovic Associate professor at University of Turku In the past decade, artificial intelligence algorithms have demonstrated a tremendous potential and impact in speeding up the processing, optimisation, and discovery of new materials. The objective of the workshop and school “Machine Learning Modalities for Materials Science” (MLM4MS 2024) was to bring together the community of […]

Filipa Correia Assistant Researcher at Interactive Technologies Institute, University of Lisbon The research project will explore the trustworthiness of an embodied AI, such as a social robot. Specifically, it will investigate whether the performance of humanlike motions of a non-humanoid robot enhances the perceived trustworthiness of that robot. Beyond the scientific contribution to the current

Philippe Balbiani CNRS researcher at Toulouse Institute of Computer Science Research (Toulouse, France) Rooted in Intuitionistic and Constructive Reasoning, Intermediate Logics have found important applications through the Curry-Howard correspondence. Nowadays, there is an Intuitionistic Modal Logics renaissance in Computer Science and Artificial Intelligence. Connections between, on one hand, Intuitionistic and Constructive Mathematics and, on the

Manfred Jaeger Associate Professor at Aalborg University Learning and reasoning with graph and network data has developed as an area of increasing importance over recent years. Social networks, knowledge graphs, sensor and traffic networks are only some of the examples where graph-structured data arises in important applications. Much of the attention currently focuses on graph

Róbert Móro Researcher at Kempelen Institute of Intelligent Technologies To mitigate disinformation with AI in a trustworthy way, it should prioritize human agency and control, transparency, and accountability including the means for redress. This can be achieved by using AI to support rather than to replace media professionals, such as fact-checkers, in their efforts to

Gonçalo Gomes Araújo PhD at Nova FCT We value a mathematical theory for its generality and its tractability. For example, a magma (that is, a set with a binary operation) is very general because any theorem on it will have an impact on almost all algebras and possibly beyond, but the structure is so weak

Hakob Grigoryan PhD at NVISION With the evolution of intelligent sensing devices and the Internet of Things (IoT), a vast amount of data is generated from various sources, including sensors, cameras, and network infrastructures, and is transmitted to servers for analysis. Data streaming from sensors in IoT systems might face quality issues like incompleteness due

Patrik Goldschmidt PhD candidate at Kempelen Institute of Intelligent Technologies With the rise of information technology and the Internet, the number of cybersecurity incidents has grown immensely. As a response, the research area of Intrusion Detection Systems (IDSs), aiming to detect and mitigate cyber threats, has gained significant attention. Our research focuses on Network IDSs