Formal methods for reliable software development in industry at IHP

On the 28th of April 2014, the Henry Poincaré Institute (IHP) will host an Industry Day dedicated to the use of formal methods in industry. It will feature talks by ANSSIDassault AviationEsterel TechnologiesLexiFiTrustInSoft and Prove & Run. Dominique Bolignano, Prove & Run’s CEO, will deliver a talk about how to use formal methods to increase the security level of mobile devices such as smartphones or tablets.

The primary aim of this day is to give an opportunity to students and researchers (academic or non-academic) to hear about the recent developments of formal methods in industry. Talks will be in French. Attendance is free but one has to register in advance. Details on the website.

Prove & Run is proud to co-organize this event.

Print Print