Forum Méthodes Formelles 2014


Pour la première fois, le Labex s’associe au Forum Méthodes Formelles organisé par le Laas-Cnrs à Toulouse, les Pôle de compétitivité Aerospace-valley et MINALOGIC et le RTRA STAE. La prochaine session aura lieu à Toulouse le 16 octobre 2014 et portera plus spécifiquement sur le model-checking. Elle sera simultanément retransmise à Grenoble et sur le Plateau de Paris Saclay.

Les conférences du forum proposeront un état de l’art et de la pratique des méthodes et outils de model-checking. 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 octobre 2014, à partir de 8h45

Lieu : PCRI, bât 650, salle 435 (salle des thèses)

Programme : Voir le programme

Contact :

Venir au PCRI – bâtiment Ada Lovelace

Adresse :

Plateau de Moulon
Rue Noetzlin (Face à l’IBP et à proximité de l’IUT)
91 190 Gif sur Yvette

Accès par les transports en commun (Consulter Vianavigo)

  • R.E.R. ligne B4, station “Le Guichet” + bus 91-08 ou 9.
  • ou R.E.R. ligne B4, station “Massy-Palaiseau” + bus 91-06 (B ou C not A) ou 91-10
  • Ligne 91-06 (Massy – Saint Quentin en Yvelines) and 91-10, arrêt “IUT, Pôle Ingénierie” ou “Moulon”
  • Ligne 91-08 (Les Ulis – Velizy), arrêt “IUT, Pôle Ingénérie”
  • Ligne 9 (Les Ulis – Saclay), arrêt “IUT, Pôle Ingénérie” ou “Moulon”

Accès par la route :

RN 118, sortie Centre Universitaire, puis suivre la direction “Domaine Universitaire de Moulon”.
Parking rue Noetzlin ou derrière le PCRI.