Le club de veille technologique In’ Tech, en partenariat avec CAP’TRONIC, organise une demi-journée de rencontres entre chercheurs et industriels sur le thème » Validation formelle de systèmes industriels critiques « , le jeudi 18 avril de 13h30 à 18h, à Inria Montbonnot.
Séminaire thématique ouvert à tous, industriels ou académiques. Il est animé par Radu Mateescu, directeur de recherche à Inria Grenoble – Rhône-Alpes, responsable de l’équipe de recherche CONVECS.
