Zwei Paper am Saarland Informatics Campus haben eine „Honorable Mention“ für den „Outstanding Paper Award“ auf der 36. AAAI Conference on Artificial Intelligence (AAAI 2022) erhalten. Die Arbeiten sind in der Forschungsgruppe „Foundations of Artificial Intelligence“ von Prof. Jörg Hoffmann und am Max-Planck-Institut für Softwaresysteme verortet und sind Teil des von der Deutschen Forschungsgemeinschaft (DFG) geförderten transregionalen Sonderforschungsbereichs „Grundlagen Verständlicher Software-Systeme“.