Workshop on Formal Methods and Languages for Reliable Software in the Industry

LexiFi has been invited to speak at the Workshop on Formal Methods and Languages for Reliable Software in the Industry, to be held in Paris at the Institut Henri Poincaré.


The primary aim of the session is to give an opportunity to students and academics and non-academic researchers to hear about recent developments of Formal Methods and Languages carried out in an industry context. Alain Frish, Chief Technical Officer, will speak about LexiFi's approach for a uniform representation of financial products.


News