News Archiv
Researchers from the Max Planck Institute for Software Systems (MPI-SWS) and the new Max Planck Institute for Security and Privacy (MPI-SP) have authored a total of 8 papers accepted to POPL 2021 (over 10% of all accepted papers). This is the fourth year in a row that MPI-SWS researchers have published 5+ papers in POPL. Furthermore, two Max Planck papers were awarded a Distinguished Paper Award. Congratulations to all our POPL authors!
Die Preisverleihung wird am 29. Januar ab 18:00 Uhr live auf den Youtube- und den Facebook-Kanal des Saarland Informatics Campus übertragen. Der mit insgesamt 15.000 Euro dotierte Preis wird von der Staatskanzlei des Saarlandes in den Kategorien „Text“, „Audio“ und „Video und Multimedia“ ausgelobt. Er soll herausragende, qualitativ hochwertige Berichterstattung über Themen der Informatik fördern.
Der Markt für Satelliten in erdnaher Umlaufbahn wächst rasant: Heutzutage befinden sich etwa 2500 Satelliten in dieser Zone, für die kommenden zehn Jahre sind Starts für rund 50.000 weitere angekündigt. Sie können zum Beispiel Luftbilder der Erdoberfläche aufnehmen oder Telekommunikations-Netzwerke verstärken. Informatiker der Universität des Saarlandes haben die Nutzung dieser Art von Satelliten optimiert. Um ihre Entwicklungen auch Marktreife zu bringen, werden sie nun vom Europäischen Forschungsrat (ERC) gefördert.
Viele Computersysteme arbeiten heute mit Rechenverfahren der Künstlichen Intelligenz. Doch wie fällen diese ihre Entscheidungen? Und wie lässt sich ihr Verhalten erklären, damit wir ihnen vertrauen können? Mit solchen Fragen befassen sich jetzt Forscherinnen und Forscher der Informatik, Philosophie, Psychologie und Rechtswissenschaft im Projekt „Explainable Intelligent Systems (EIS)“. Die Volkswagen-Stiftung fördert das Forschungsprojekt der Universität des Saarlandes und TU Dortmund mit rund 1,5 Millionen Euro über drei Jahre.
Viktor Vafeiadis, head of the MPI-SWS Software Analysis and Verification group, has been awarded an ERC Consolidator Grant. Over the next five years, his project „PERSIST: A Semantic Foundation for Persistent Programming“ will receive almost 2 million euros, which will allow the group to develop rigorous formal foundations for programs interracting with non-volatile memory.
5051525354 ...
236»