-
Alpine Verification Meeting
Der Lehrstuhl für Softwaretechnik unter Leitung von Prof. Andreas Podelski hat das Alpine Verification Meeting (AVM) vom 4. bis 6. September in Freiburg ...
Existiert in
Newsarchiv
-
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
