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

Prove & Run at ITP 2013

ITP 2013 is the fourth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. It will take place in Rennes, France, between the 22nd and the 26th of July, 2013. Dominique Bolignano, Prove & Run’s CEO, will participate as […]

Learn more

French National Assembly hosts hearing on digital risks

On the 21th of February 2013, the French National Assembly will host a public hearing on “Digital risks: Better Decision Making Through Increased Awareness.” Prove & Run will be represented by its CEO, Dominique Bolignano, who will discuss the current status and scientific capabilities of software verification. This hearing is organized by the Parlementary Office for the Evaluation of […]

Learn more

Prove & Run recruits at the Rendez-Vous de l’Emploi

On the 28th of March, Prove & Run will be attending the Rendez-vous de l’emploi, a free recruiting fair organized by the French Ministry of Higher Education and Research, in order to recruit engineers and PhDs. Meetings are by appointments only, so make sure to sign up well in advance through the fair’s website if […]

Learn more