Filter the results Item type Select All/None Language Root Folder File News Item Image Collection Language Independent Folder Folder New items since Yesterday Last week Last month Ever Search results Subscribe to an always-updated RSS feed. 4 items matching your search terms. Sort by relevance date (newest first) alphabetically 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. Located in newsarchive Machine quality assurance for software Computer Scientists from Freiburg win first place at the International Competition on Software Verification (SV-COMP) Located in newsarchive Prof. Andreas Podelski erhält 1,15 Millionen Euro Parlamentarischer Staatssekretär Dr. Jens Brandenburg übergibt den Fördermittelbescheid an Prof. Dr. Andreas Podelski, Professur für Softwaretechnik Located in newsarchive SV-COMP competition Freiburg team wins for the second time in a a row Located in newsarchive
