mercredi 20 mars 2013

Séminaire In'Tech : Validation formelle de systèmes industriels critiques, le 18 avril

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.