Actualités

Ecole SpeVeCris 2019

Le développement des logiciels basé sur la modélisation, la spécification et la vérification formelle est une branche devient un domaine de plus en plus d’actualité dans le domaine des systèmes critiques (avionique, ferroviaire, nucléaire, exploration spatiale, militaire), là où des méthodologies basées sur le test ou la simulation ne peuvent garantir l’absence d’erreurs de conception ou d’implémentation. Ces méthodes nécessitent de bonnes bases théoriques et une maîtrise de la modélisation des systèmes informatiques. Notre projet d’école d’été veut développer ces aspects de la vérification formelle, sur la base des compétences développées au sein des participants au séminaire francilien de recherche MeFoSyLoMa http://www.mefosyloma.fr/, animé conjointement par les laboratoires Cedric (Cnam), IBISC (Univ. Evry), LACL (Univ. Paris Est Créteil), LIP6 (UPMC), LIPN (Univ. Paris 13), LRDE (Epita), LSV (École Normale Supérieure de Cachan) et LTCI (TELECOM ParisTech). Ce séminaire est organisée depuis 4 ans pour permettre la confrontation de différentes approches ou points de vue sur l’utilisation des méthodes formelles dans les domaines du génie logiciel, de la conception de circuit, des systèmes répartis, des systèmes temps-réel ou encore des systèmes d’information. Il s’organise autour de réunions bimestrielles où sont exposés des travaux de recherche récents sur ce thème.

Site web: à venir
Date: Juillet 2019

Notre école d’été sera proposée dans le cadre de l’appel d’offres Ecoles d’Eté France Excellence de l’Ambassade de France en Chine, https://cn.ambafrance.org/-Les-Ecoles-d-ete-France-Excellence-, qui vise à attirer de bons étudiants niveau M1 pour leur donner de bonnes bases pour poursuivre en thèse dans la vérification formelle, dans leur pays d’origine ou dans un des laboratoires membres du séminaire MeFoSyLoMa. Les étudiants rentreront dans leur pays d’origine, poursuivront leur M2 tout en restant en contact avec les membres de l’équipe pédagogique de cette école et, après avoir validé leur M2, pourront s’inscrire en thèse dans un des laboratoires de recherche membres du séminaire MeFoSyLoMa.


Voir toutes les actualités…