Filter the results Item type Select All/None News Item Folder Language Root Folder Collection File Image Language Independent Folder New items since Yesterday Last week Last month Ever Search results Subscribe to an always-updated RSS feed. 3 items matching your search terms. Sort by relevance date (newest first) alphabetically 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