Danke an Formal Methods Europe und Prof. #Leucker von der
Uni Luebeck für die Gelegenheit, die @Cyberagentur und unsere Pläne zu Forschungsaufträgen für #FormaleMethoden und #KI auf der #FM2023 vorzustellen. Willkommene Gelegenheit, unser Netzwerk auszubauen! https://www.uni-luebeck.de/aktuelles/nachricht/artikel/industrietag-der-konferenz-fm2023.html