Faeq attended The 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Evaluation of Collective Adaptive Systems.
The event took place in Bertinoro, Italy, 20-24 June 2016 and according to Faeq, “at this stage I’m investigating Cyber-physical systems and representation techniques for such systems, the summer school was useful in describing the different techniques and formal methods used to represent Cyber-Physical systems”.