STS-News

Aalborg University (AAU)

Reasoning about Software in an "Unreasonable" World

From January until March Sibylle Schupp stays with DEIS (Distributed, Embedded and Intelligent Systems) at Aalborg University, the research unit led by Kim Larsen.On February
6 she gives a talk about the current research activities at STS.