Der Lehrstuhl für Softwaretechnik unter Leitung von Prof. Andreas Podelski hat das Alpine Verification Meeting (AVM) vom 4. bis 6. September in Freiburg ausgerichtet.
Softwaretechnik
Freiburger Informatiker gewinnen ersten Platz beim internationalen Wettbewerb für Software Verifikation (SV-COMP)
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, Lisa Becherer, Annelie Schiller, Maxim Tatarchenko, Matthias Heizmann und Nils Spengler von der Technische Fakultät ausgezeichnet
Freiburger Informatiker-Team gewinnt ersten Platz beim 5. Internationalen Wettbewerb für Software Verifikation
Nach erneuter erfolgreicher Begutachtung durch die Deutsche Forschungsgemeinschaft (DFG) wird der vor acht Jahren ins Leben gerufene transregionale Sonderforschungsbereich (SFB/TR 14) „Automatic Verification and Analysis of Complex Systems“ (AVACS) für weitere vier Jahre gefördert. Dafür stellt die DFG Mittel in Höhe von 10 Millionen Euro bereit.
Inhaltspezifische Aktionen