Forum Méthodes Formelles 2015


Le Labex s’associe au Forum Méthodes Formelles organisé par le LAAS-Cnrs à Toulouse, les Pôles de compétitivité Aerospace-valley, MINALOGIC et Systematic et le RTRA STAE.

La prochaine session “Tests et méthodes formelles” aura lieu à Toulouse le 16 Juin 2015. Elle sera simultanément retransmise à Grenoble et sur le Plateau de Saclay.

Les conférences du forum proposeront un état de l’art et de la pratique des méthodes et outils de génération et d’utilisation des tests. 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 les industriels et les chercheurs du plateau de Saclay permettra d’échanger et de réfléchir à de possibles projets communs sur cette thématique qui s’inscrit dans l’axe prioritaire SciLex (software reliability and security) du Labex.
Date : 16 juin 2015, à partir de 8h45

Lieu : Université Paris Sud, Bâtiment Ada Lovelace (650), salle des thèses (435)

Programme : Voir le programme

Contact :