Events

11/03/15

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
24/11/14

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
23/09/14

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
07/01/15

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
28/04/14

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
24/02/14

Meet Prove & Run at the Mobile World Congress 2014

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

Learn more