News Archiv
Bei der Produktion von Lebensmitteln fallen Unmengen von Daten an, die bislang ungenutzt bleiben. Diesen Schatz wollen Forscher unter Leitung des Wirtschaftsinformatikers Professor Wolfgang Maaß von der Universität des Saarlandes heben: Eine neue Daten-Transparenz soll für Erzeuger und Hersteller Einnahmequellen schaffen, dem Finanz- oder Versicherungsmarkt zuverlässige Vorhersagen ermöglichen und der Industrie Wege aufzeigen, um die Produktion zu optimieren. Das Deutsche Forschungszentrum für [...]
Vineet Rajani and Deepak Garg, along with their co-authors Marco Vassena, Alejandro Russo and Deian Stefan, have won a Distinguished Paper Award at the 2019 ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019) for their paper titled „From fine- to coarse-grained dynamic information flow control and back“.
Staatssekretär Jürgen Lennartz verleiht am heutigen Abend an der Universität des Saarlandes den von der saarländischen Staatskanzlei ausgelobten Journalistenpreis Informatik. Die Hauptpreise in den Kategorien Print, Hörfunk und Fernsehen gehen an Redakteure des Süddeutsche Zeitung Magazins, des Hessischen und Westdeutschen Rundfunks. Die drei Hauptpreise sind jeweils mit 5.000 Euro dotiert. Das Helmholtz-Zentrum für Informationssicherheit (CISPA) stiftet einen mit 1.000 Euro dotierten Sonderpreis, [...]
Ab dem 16. Januar bieten die Physiker der Saar-Uni gemeinsam mit der Landeshauptstadt wieder eine öffentliche Ringvorlesung an, dieses Mal zum Thema „Zeit“. Unter dem Titel „Laaangweilig! Eine Vortragsreihe über die Zeit“ sprechen nicht nur Physiker, sondern auch Psychologen, Philosophen und Science-Fiction-Kenner über das Wesen der Zeit. Werden Zeitreisen eines Tages möglich sein? Warum müssen wir Zeit bis auf eine Trillionstel Sekunde genau messen? Und verändert sich unsere Vergangenheit? [...]
The TOROS project, supported by an ERC Starting Grant, has officially started. The project targets the challenge of implementing safety-critical cyber-physical systems on commodity multicore processors such that their temporal correctness can be certified in a formal, trustworthy manner.
114115116117118 ...
236»