Under the slogan "Software, Technology and Systems (STS)", the institute combines fundamental research on descriptions and dependencies of software systems with practical issues and applications from both engineering and social sciences.
10.10.2018
Brown Bag Lunch
Formal Methods Meet <Privacy>
On October 10, Sibylle Schupp talks about "Formal Methods Meet <Privacy>" within a Brown Bag Lunch at <link https: www.hiig.de _blank>Alexander von Humboldt Institute for Internet and Society (HIIG) in Berlin.