7eme edition du Forum Methodes Formelles

31 Janvier 2017
Ajouter au calendrier
  • CEA NANO-INNOV - 8 Avenue de la Vauve - 91120 PALAISEAU

Embedded France a le plaisir de vous inviter au 7ème édition du Forum Méthodes Formelles, consacrée à la Cyber Sécurité et organisé par le labex DigiCosme.

Cette édition se déroulera le mardi 31 janvier 2017 de 8h45 à 17h15 à Palaiseau et sera retransmise à l'INRIA Rennes - Bretagne Atlantique, au LAAS (Toulouse) et à Saclay (CEA NANO-INNOV).

Ce forum est consacré aux méthodes formelles de développement. Non, ne partez pas tout de suite : les méthodes formelles sont faites pour vous ! 

Ces méthodes ne sont pas assez connues mais ont un potentiel énorme pour faire progresser la productivité et la qualité intrinsèque des développements de logiciels embarqués et de leurs outils de développement et de vérification. 

Et elles ne sont pas si difficiles à mettre en œuvre : certains l’ont déjà fait, avec succès, pourquoi pas vous ? Nous vous proposons donc un cycle de conférence/forum pour vous présenter bien sûr les fondements théoriques de ces méthodes, mais surtout faire un état de l’art et de la pratique, démystifier, échanger, et pourquoi pas monter ensemble des projets pour “passer à l’acte” ? 

Les intervenants sont à la fois des scientifiques et universitaires les plus compétents dans ces domaines et des utilisateurs “de terrain” qui ont déjà pratiqué ces méthodes et vous livreront leurs retours d’expérience.


Date : mardi 31 janvier, à partir de 8h45 
Lieu : CEA NANO-INNOV - 8 Avenue de la Vauve - 91120 PALAISEAU

Retransmission en direct de l'édition au centre Inria Rennes - Bretagne Atlantique, Espace Conférences Inria (inscription Rennes : https://www.inria.fr/centre/rennes/agenda/forum-methodes-formelles)


Programme : http://projects.laas.fr/IFSE/FMF/J7/  
Inscription pour Palaiseau (gratuite mais obligatoire) : http://labex-digicosme.fr/Forum+Methodes+Formelles