Werner Damm Invited Speaker auf der FM 2015 in Oslo

26.06.2014 Verkehr

OFFIS-Vorstand Prof. Werner Damm ist einer der "Invited Speaker" des 20th International Symposium on Formal Methods, das vom 22. bis 26. Juni 2015 in Oslo stattfinden wird. 

FM 2015 ist das zwanzigste in einer Reihe von Symposien, die von "Formal Methods Europe" (FME) organisiert werden. FME ist eine unabhängigen Vereinigung, deren Ziel es ist, die Verwendung und Erforschung von formalen Methoden für die Softwareentwicklung zu fördern. Die Symposien sind besonders erfolgreich bei der Zusammenführung von Innovatoren und Praktikern in der Verwendung von präzisen mathematischen Methoden für Software-und Systementwicklung. Der Teilnehmerkreis umfasst sowohl industrielle Anwender als auch Forscher.