Vous êtes ici

Forum Méthodes Formelles

Forum Méthodes Formelles

26
Jan

       

 

 

Forum Méthodes Formelles

"Méthodes formelles et sûreté de fonctionnement "

 

Le Forum Méthodes Formelles est un cycle de conférences créé par le pôle Aerospace Valley afin de sensibiliser les entreprises aux méthodes formelles pour la conception de systèmes et de logiciels sûrs, en diffusant l'expérience acquise dans ce domaine par les grands acteurs de l'aéronautique et de l'espace.

 

La prochaine session du Forum Méthodes Formelles "Méthodes formelles et sûreté de fonctionnement " organisée par les Pôles de compétitivité Aerospace-valley, MINALOGIC et Systematic et le RTRA STAE aura lieu au LAAS-CNRS de Toulouse, le 26 Janvier 2016.


Les conférences du forum proposeront un état de l’art et de la pratique des méthodes et outils permettant d'arriver à un meilleur niveau de protection des logiciels. Les intervenants sont des universitaires et des utilisateurs ayant l'expérience de ces méthodes en contexte industriel.

Cette journée de rencontre entre industriels et chercheurs permettra d'échanger et de réfléchir à de possibles projets communs sur cette thématique.

 

Voir le Programme

 

 

Ce forum sera simultanément retransmis en direct de Grenoble :

► Inscription

Les inscriptions s'effectuent uniquement en ligne à l'aide du lien ci-dessous :
http://minalogic.insight-outside.fr/inscriptions/
(Cliquez sur l'onglet S'inscrire à un évènement « INNOVATION »)

 

Date

De 26/01/2016 - 08:45 au 26/01/2016 - 17:30

Lieu

INRIA Montbonnot - 655, Avenue de l’Europe - 38334 Saint-Ismier