BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:383-527@rg-muenchen.gi.de
CLASS: PUBLIC
SUMMARY:Forschungswettbewerb als Motor des Technologietransfers? Ein Beispi
 el aus der Software-Verifikation
DESCRIPTION:Abstract: Im Bereich der Verifikation von Software gibt es leid
 er eine große Kluft zwischen dem aktuellen Stand der Forschung und der ange
 wandten Technologie in der industriellen Praxis. Wie können wir eine Brücke
  über diese Kluft bauen? Eine Möglichkeit wäre, dass Firmen an die Forschun
 gsgruppen herantreten mit Problemstellungen, für die eine neue Verifikation
 stechnologie benötigt wird. Allerdings scheitert dieses Vorhaben oft schon 
 an der Geheimhaltungsschranke. Eine andere Möglichkeit wäre, dass die Forsc
 her den aktuellen Stand der Technik für die Entwickler und Qualitätsingenie
 ure in der Praxis in bequem konsumierbarer Form anbieten. Die Lösungsidee d
 afür ist die "International Competition on Software Verification (SV-COMP)"
 , bei der die namhaften Forschergruppen im Bereich der Software-Verifikatio
 n ihre neusten Ergebnisse in Verifikationswerkzeugen implementieren und zur
  vergleichenden Evaluierung einreichen. Für den Wettbewerb werden Verifikat
 ionsprobleme aus vielen Bereichen der C-Programmierung gesammelt und für de
 n Vergleich verwendet. Zur Zeit befinden sich in der Benchmark-Sammlung 952
 3 Verifikationsprobleme. Benutzer können sich dann die besten Werkzeuge der
  für sie passenden Kategorie aussuchen. Im Vortrag werden die Regeln, die D
 urchführung auf einem Rechencluster an der LMU und die Ergebnisse des Wettb
 ewerbs präsentiert. Website zur Competition: https://sv-comp.sosy-lab.org/
LOCATION:Hotel Eden-Wolff
DTSTAMP:20180523T165033Z
DTSTART:20180507T173000Z
DTEND:20180507T193000Z
END:VEVENT
END:VCALENDAR