I’ll spend 3 days at Galatasaray University for an introductory course to the semantics of programming languages.
Today, I will give a talk @ ENSA Tétouan, Morocco during SESA workshop. http://sesa2014.uae.ma The talk will present some recent joint work with Inria Rennes and LaBRI Bordeaux on Runtime Enforcement of Timed Properties. Thanks to the organisers for the invitation.
The poster for RV’14, Runtime Verification 2014 is ready and can be downloaded in PDF using the following link: RV2014_poster. If you are interested in a high-resolution version, let me know.
Summer School on Cyber-Physical Systems July 8-12, 2013 Grenoble, France EIT ICT Labs and PERSYVAL-Lab are organizing the first edition of the CPS Summer School. The CPS Summer School will explore the manifold relationship between networked embedded systems and humans as their creators, users, and subjects. The format of the Summer School will be a five days […]