Dimitris E. Simos is invited to the Graz University of Technology on 20 June 2016 to give a colloquium talk “Combinatorial Methods for Quality Assurance of Secure Software: Recent Results and Challenges Ahead” at the Institute for Software Technology in Graz.
The Abstract can be found here.