News Archive




Image of press release
Max Planck Researchers honored for outstanding contributions to logic and computation

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…

Image of press release
MPI-SWS releases the first data anonymization tool as part of the Open Diffix project.

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“.…

Image of press release
Two AAAI-Awards for AI Research in Saarbrücken

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,…

123