-
Nachwuchsförderpreise
Bei der feierlichen Eröffnung des Akademischen Jahres 2016/2017 der Albert-Ludwigs-Universität hat Rektor Prof. Dr. Dr. h.c. Hans-Jochen Schiewer Martin Zens, ...
Existiert in
Newsarchiv
-
10 Millionen Euro für die Sicherheit
Nach erneuter erfolgreicher Begutachtung durch die Deutsche Forschungsgemeinschaft (DFG) wird der vor acht Jahren ins Leben gerufene transregionale ...
Existiert in
Newsarchiv
-
Fehler in Computerprogrammen ausschließen
Freiburger Informatiker-Team gewinnt ersten Platz beim 5. Internationalen Wettbewerb für Software Verifikation
Existiert in
Newsarchiv
-
Maschinelle Qualitätssicherung für Software
Freiburger Informatiker gewinnen ersten Platz beim internationalen Wettbewerb für Software Verifikation (SV-COMP)
Existiert in
Newsarchiv