BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:1380-2742@rg-leipzig.gi.de
CLASS: PUBLIC
SUMMARY:Constraint-basierte Techniken in der automatisierten Programmanalys
 e
DESCRIPTION:In den letzten Jahren hat die Entwicklung automatisierter Softw
 are-Werkzeuge für die Programmanalyse beeindruckende Fortschritte gemacht. 
 Dabei können auch eigentlich unentscheidbare Korrektheitseigenschaften wie 
 z.B. Terminierung (wird die Ausführung des Programms garantiert irgendwann 
 enden?) oder Safety (werden nur erwünschte Programmzustände erreicht?) oftm
 als vollautomatisch bewiesen werden, oder es kann eine Eingabe generiert we
 rden, für die das Programm unerwünschtes Verhalten zeigt.\n\nDiese Fortschr
 itte sind zu einem großen Teil dem Einsatz von spezialisierten Constraint-S
 olvern zu verdanken. Dabei handelt es sich um Software-Werkzeuge, die für e
 ine gegebene logische Formel eine erfüllende Belegung als Lösung finden ode
 r aber zeigen, dass keine solche Lösung existiert. Der Vortrag gibt einen E
 inblick in den Stand der Technik bei der constraint-basierten Programmanaly
 se.\n\nZur Person: Dr. Carsten Fuhs ist Lecturer bei Birkbeck, University o
 f London. Seine Forschungsschwerpunkte liegen im Bereich der automatischen 
 constraint-basierten Programmanalyse für verschiedene Programmierparadigmen
 . Er ist einer der Hauptentwickler des Programmanalyse-Werkzeugs AProVE.
LOCATION:Raum Z417, HTWK Leipzig, Zuse-Bau
DTSTAMP:20181005T101337Z
DTSTART:20170206T124500Z
DTEND:20170206T141500Z
END:VEVENT
END:VCALENDAR