newsarchive

Alpine Verification Meeting Alpine Verification Meeting

The Chair of Software Engineering, headed by Prof. Andreas Podelski, hosted the Alpine Verification Meeting (AVM) in Freiburg from September 4 to 6.

LIMITS 2024 LIMITS 2024

Live broadcast of the Tenth Workshop on Computing Within Limits

ZSB@Campus ZSB@Campus

Pop-up student advising directly at the Faculty of Engineering. No appointment necessary.

Document Actions