Invited speaker: Prof. Dr Kung-Kiu Lau, University of Manchester

July 21st, 2016: Prof. Dr Kung-Kiu Lau will give a keynote talk From Formal Methods to Components: Back to the Future? during the conference days.