Filter the results Item type Select All/None Image File Folder News Item Language Root Folder Language Independent Folder Collection 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 SV-COMP competition Freiburg team wins for the second time in a a row 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 Machine quality assurance for software Computer Scientists from Freiburg win first place at the International Competition on Software Verification (SV-COMP) Located in newsarchive
