MPI-SWS faculty member Derek Dreyer and nine of his collaborators (including notably UdS/MPI alumnus Ralf Jung, as well as former MPI-SWS postdocs Jacques-Henri Jourdan and Aaron Turon and UdS/MPI student David Swasey) have received the 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation for their seminal work on the Iris framework for higher-order concurrent separation logic. Specifically, the…
Modern software systems already control critical infrastructures, factories, self-driving cars and smart homes. The problem is that many of these systems have become so complex that no expert can understand if, how and why they work. Scientists at Saarland University, the Max Planck Institute for Software Systems, the CISPA Helmholtz…
Saarland University, the Max Planck Institute for Informatics and the Max Planck Institute for Software Systems are part of one of only three newly established "Konrad Zuse Schools" for Artificial Intelligence, which are being set up by the German Academic Exchange Service (DAAD) with funding from the Federal Ministry of…
Open Diffix is an MPI-SWS-supported open software project to develop strong but usable data anonymization. Open Diffix is built on the data anonymization technology Diffix, which has been developed in a research partnership between the group of Paul Francis and Aircloak GmbH. Open Diffix recently released its first tool, „Diffix for Desktop“.…
Two papers from Saarland Informatics Campus have received an "Honorable Mention" for the "Outstanding Paper Award" at the 36th AAAI Conference on Artificial Intelligence (AAAI 2022). Both papers are part of the Transregional Collaborative Research Center "Foundations of Perspicuous Software Systems" funded by the German Research Foundation (DFG). Daniel Fišer,…
