Tutorial on Cyber-Physical Systems Engineering: Next GenerationFoundations, Methods and Tools

Formal Methods 2016 - Tutorial on Cyber-Physical Systems Engineering: Next Generation Foundations, Methods and Tools

In conjunction with the 21st Symposium on Formal Methods

Limassol, Cyprus | November 8th, 2016 | http://fm2016.cs.ucy.ac.cy/tutorials.html

Based on the work we are carrying out in the H2020 project called INTO-CPS (see http://into-cps.au.dk/) there will be a tutorial in connection with the FM'2016 symposium. In this connection I would like to mention that we have recently started an Academic Follower Group in addition to an Industrial Follower Group we have had since before the project started 18 months ago. I hope that those of you who have an interest in what we do will either contact Stylianos Basagiannis who is maintaining the new Academic Follower Group or Christian Koenig who is maintaining the Industrial Follower Group. I hope that many of you will be interested in attending the tutorial we will be delivering at FM'16.