Events

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
22/07/13

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
21/02/13

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
28/03/13

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