Archive

Date: 6/1/2021
Online Workshop
Organizer: Systematic Paris Area

During this System and Software Engineering Workshop organised by Systematic Paris Area, Virgile Prevosto (CEA, List) presents DECODER as an intelligent software platform that mixes semi-formal and formal approaches to help developers deliver quality software.

Created in 2005, Systematic, the European Deep Tech Cluster, has brought together and animated a community of nearly 900 members, including nearly 600 start-ups, SMEs and medium-sized enterprises, 140 large groups, 140 academics, a college of investors and a college of about twenty local authorities.

More