L'école d'été sur la technologie, les systèmes et les applications de vérification aura lieu à Nancy du 27 au 31 août 2018. Nous croyons que les trois aspects de la technologie de vérification, les systèmes et les applications dépendent fortement les uns des autres et que les progrès dans le domaine de l'analyse formelle et de […]

La 6ème édition de la grande rencontre business et numérique du Grand Est, GEN se déroulera le jeudi 13 et vendredi 14 septembre au tout nouveau Centre des Congrès de Metz, situé juste derrière la Gare, dans le quartier de l'Amphithéâtre. Il portera sur le thème Business & Tech. À cette occasion, nos chercheurs et nos […]