06.02.2019

Aalborg University (AAU)

Reasoning about Software in an "Unreasonable" World

From January until March Sibylle Schupp stays with <link https: www.cs.aau.dk research distributed-embedded-intelligent-systems _blank deis>DEIS (Distributed, Embedded and Intelligent Systems) at <link http: www.aau.dk _blank>Aalborg University, the research unit led by <link http: people.cs.aau.dk _blank>Kim Larsen.On February
6 she gives a talk about the current research activities at STS.