Qualitätscheck für Software: Gefährliche Fehler vermeiden - DFG fördert Informatik-Projekt mit 600 000 Euro
Software ist aus unserem Alltag nicht mehr wegzudenken. Sie steckt in Smartphones, Autos, aber auch zum Beispiel im guten alten Fahrkartenautomaten. Um die Schnelligkeit und Sicherheit solcher technischen Systeme zu gewährleisten, muss die entsprechende Software bereits während ihrer Entwicklung systematisch analysiert und kontrolliert werden. Zur Vorhersage und Kontrolle solcher Qualitätseigenschaften forschen Professor Matthias Tichy, Leiter des Ulmer Instituts für Programmiermethodik und Compilerbau, und Professor Lars Grunske (HU Berlin). Nun wurde bekannt, dass die Deutsche Forschungsgemeinschaft (DFG) ihr Projekt ENSURE auch in der zweiten Förderphase über drei Jahre mit insgesamt knapp 600 000 Euro unterstützt.
Reinhard Bock leitet Polizeiposten Langenau - Polizeihauptkommissar Roland Klein geht in Ruhestand
Polizeihauptkommissar Reinhard Bock ist neuer Leiter des Polizeipostens Langenau. Er ist Nachfolger von Polizeihauptkommissar Roland Klein, der Ende Februar in den gesetzlichen Ruhestand trat.
Streit in Unterkunft
Sowohl in der Samstag-, als auch in der Sonntagnacht ging bei der Polizeiinspektion Neu-Ulm die Mitteilung über randalierende Personen in einer, zur Gemeinschaftsunterkunft umfunktionierte Turnhalle, in Neu-Ulm ein.
Schüsse im Industriegebiet
Am vergangenen Samstagabend gegen 19 Uhr wurden der Polizeiinspektion Neu-Ulm gemeldet, dass ich Industriegebiet geschossen wurde.
Schwelbrand in Zwischendecke
Zu einem Brand in einem Wohnhaus in Blaustein-Dietingen wurde die Feuerwehr am Sonntag, kurz nach 13.00 Uhr, gerufen. Fotos: Thomas Heckmann
Weißenhorn Youngstars besiegen Scan Plus Elchingen mit 99:93 Punkten - Joschka Ferner macht 37 Punkte
Die Weißenhorn Youngstars spielten sich im Basketballderby gegen die Scan Plus Baskets Elchingen vor 1500 begeisterten Zuschauern in der Kuhberghalle am Schluss in einen Rausch und lösten mit dem 99:93 (39:50)-Sieg vorzeitig das Playoff-Ticket in der ProB Süd. Acuh Dank der Supershow von Joschka Ferner, der allein 37 Punkte (davon 8 Dreier) für die Weißenhorner Korbjäger beisteuerte.
Teure Spritztouren
Weil sie sich nicht an Recht und Gesetz hielten, haben sich zwei Fahrzeuglenker am Wochenende Anzeigen eingefahren.
Unaufgeregt, warmherzig, humorvoll: Die Abschiedsfeiern für Ulms Oberbürgermeister Ivo Gönner im Münster und CCU
Seit Wochen tourt Oberbürgermeister Ivo Gönner von einer Abschiedsfeier zur nächsten. Am Sonntag nun fand die finale Abschiedsfeier im Rahmen eines ökumenischen Gottesdienstes im voll besetzten Ulmer Münster und eines Bürgerempfangs im – ebenfalls voll besetzten - Congress Centrum statt. Zum Abschied des Ulmer Oberbürgermeisters war viel Prominenz nach Ulm gereist, beispielsweise Ministerpräsident Winfried Kretschmann, Finanzminister Nils Schmid, Tübingens OB Boris Palmer, Ute Vogt, Botschafterin Annette Schavan, CDU-Kandidat Guido Wolf und Europaministerin Beate Merk und viele Persönlichkeiten aus Politik und Wirtschaft der Region. Vizekanzler Sigmar Gabriel musste wegen einer Erkrankung kurzfristig absagen. Ihn vertrat die SPD-Politikerin Ute Vogt. Ivo Gönner verabschiedete sich im CCU gewohnt bescheiden: "Ich war der erste Diener der Stadt. Ade und auf Wiedersehen.“
27-Jähriger bewusstlos nach Konsum von Heroin
Am Samstag teilte gegen 21 Uhr die Schwester eines 27-jährigen Mannes bei der Integrierten Leitstelle Donau-Iller mit, dass sie ihren Bruder bewusstlos in der Wohnung in Illertissen aufgefunden habe.
Hausmüll auf Parkplatz entsorgt
Am Samstag stellte eine Streife gegen 9.15 Uhr auf einem Parkplatz in der Illerzeller Straße in Vöhringen rund 150 Liter Hausmüll fest.
Highlight
Weitere Topevents
Da`s nix wird mit Continental: Stadt Neu-Ulm kauft Gewerbegrundstück im Illerpark zurück
Die Stadt Neu-Ulm hat das im Jahr 2019 an die Continental AG veräußerte Gewerbegrundstück im Bereich...weiterlesen
SEK der Polizei bei Erbach im Einsatz - und rammt Kleintransporter mit Verdächtigem von der Straße
Ein Spezialeinsatzkommando (SEK) hat am Samstagabend bei Erbach einen Mann festgenommen. Nach einer...weiterlesen
Baustellen-Update für Ulm: B10 mit nächtlicher Vollsperrung und viele weitere Arbeits-Punkte
Das Baustellen-Update für kommende Woche ist wieder sehr umfangreich, unter anderem zur...weiterlesen
Frontalcrash auf der B10-Umleitungsstrecke
Ein Frontalzusammenstoß am Montagnachmittag in Ulm führte glücklicherweise nur zu zwei...weiterlesen
Hintergründe zum SEK-Einsatz werden nun klarer: SEK nimmt 43-Jährigen fest
Ein 43-jähriger Mann ist am Samstagabend in Erbach von einem Spezialeinsatzkommando (SEK) festgenommen...weiterlesen
Steht der Bitcoin vor einem Comeback?
Rückblickend waren besonders die Entwicklungen des Bitcoins geprägt von vielen Extremen. Letztlich waren...weiterlesen
Fahrgäste in Furcht: Fremder steigt mit Pistole in Linienbus in Blaustein ein
Heikle Situation für besorgte Fahrgäste in einem Linienbus in Blaustein: sie meldeten am Freitagabend...weiterlesen
Ulm feiert Abschied von der Brücke - und tausende Besucher Kommen - größtes Projekt seit dem Münsterbau - und der ging rund 500 Jahre
Tausende kamen am Sonntag nach Ulm um den beginnenden Abriss der Wallstraßenbrücke und des...weiterlesen
