Meet Prove & Run at the Mobile World Congress 2015

Prove & Run will be exhibiting at the Mobile World Congress 2015 in Barcelona, from the 2nd of March to the 5th of March. Come and meet us at our stand: B61 in Hall 5! We will be glad to show you how our innovative software development toolchain can help you develop highly secure embedded software […]

Learn more

Prove & Run at the Collège de France

In 2015, Gérard Berry, professor at the Collège de France and holder of the “Algorithms, Machines and Languages” chair, will host a series of lectures and seminars dedicated to “Proving programs: Why, Where, How?” Dominique Bolignano has been invited to deliver on March 11 a talk explaining how to use formal methods to secure complex […]

Learn more

Prove & Run at the Assises de l’Embarqué 2014

Now in its seventh edition, the Assises de l’Embarqué is a conference dedicated the state of the French embedded industry. It gathers representatives from the entire embedded market, from SMEs to large companies as well as academics for a full day of debates, presentations and networking. It will take place in Paris on the 24th of November, 2014 and is […]

Learn more

Prove & Run at Chip-to-Cloud

In its third edition, Chip-to-Cloud Security Forum brings together the full value chain of digital security to address the rising threats of our mobile and connected world. It will take place in Marseille, France, between the 23rd and the 25th of September, 2014. Dominique Bolignano, Prove & Run’s Founder & CEO, will participate as an invited speaker. On Tuesday […]

Learn more

Prove & Run participates to the JFLA 2015

The 26th “Journées Francophones des Langages Applicatifs” will take place in the Vosges region, between the 7th and the 10th of January 2015. Prove & Run will be represented by Florence Plateau, who is a member of the program committee. More details are available on the website.  

Learn more

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 ANSSI, Dassault Aviation, Esterel Technologies, LexiFi, TrustInSoft and Prove & Run. Dominique Bolignano, Prove & Run’s CEO, will deliver a talk about how to use formal methods to increase the […]

Learn more