News Archiv
Informationen, Fotos und Videos einfach per Smartphone senden und Besprechungen schnell per Videokonferenz abhalten: Solche technischen Hilfsmittel gehören zum Alltag. Der digitale Wandel macht auch vor der Justiz nicht halt, elektronische Akte und digitale Technik halten Einzug. Doch in diesem sensiblen Bereich sind die Anforderungen besonders hoch. Schließlich geht es darum, dass unabhängige Richterinnen und Richter Recht sprechen, Entscheidungen aufgrund von Beweisen fällen, Zeugen vernehmen, [...]
In Zukunft soll dort sogar künstliche Intelligenz die Erinnerung an Verstorbene schützen. Das Start-up wird dabei unterstützt vom Bundesministerium für Wirtschaft und Energie und der Kontaktstelle für Wissenschaft und Technologietransfer an der Universität des Saarlandes.
Forscher kommen mithilfe mathematischer Analysen Bildern auf die Spur, die täuschend echt wirken, aber künstlich erzeugt sind. IT-Experten können Fotos für Gesichtserkennungs-Software unbrauchbar machen oder Angriffspunkte in vermeintlich sicheren elektronischen Dokumenten aufdecken. Themen wie diese zeigen die Herausforderungen des technischen Fortschritts. Die Öffentlichkeit darüber aufzuklären, ist eine Aufgabe der Medien. Um qualitativ hochwertige Berichterstattung über informatische [...]
Zwei weltweit renommierte Informatik-Konferenzen sollten im Juli im Saarland stattfinden: das „ACM/IEEE Symposium on Logic in Computer Science” sowie das „International Colloquium on Automata, Languages and Programming“. Aufgrund der Corona-Pandemie wurden die Veranstaltungen jedoch kurzfristig ins Digitale verlegt. Trotzdem haben sich rund 1200 Wissenschaftlerinnen und Wissenschaftler aus aller Welt dazu angemeldet. Ausgerichtet wurden die virtuellen Konferenzen vom Saarland Informatics Campus an der Universität des Saarlandes.
Researchers from the Max Planck Institute for Software Systems (MPI-SWS), the Max Planck Institute for Informatics (MPI-INF), and the Max Planck Institute for Security and Privacy (MPI-SP) have coauthored 17 papers at the colocated LICS 2020 and ICALP 2020, two of the top conferences in theoretical computer science. LICS is the premier conference on logic in computer science and ICALP is the flagship conference of the European Association for Theoretical Computer Science.
6061626364 ...
236»