Sites Inria

Il y a 2 Résultats avec le mot clé : "CONNECT"

Valérie Issarny Valérie Issarny - © Inria / Photo S. Tetu - La Company

Distinction

Valérie Issarny, prix « Etoile de l'Europe »

17/12/2013

Directrice de recherche au centre de recherche Inria Paris-Rocquencourt, Valérie Issarny s‘est vue décerner le prix « Étoile de l’Europe » à l’occasion du lancement français du programme Horizon 2020, lundi 16 décembre 2013.

Mots-clés :

Accueil > Actualité > Actualités Inria > Valérie Issarny, prix « Etoile de l'Europe »

Lire la suite

Summer School

SFM-11: CONNECT

13/06/2011 au 18/06/2011

Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems.

The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.

Lieu : Bertinoro (Italy)

Mots-clés :

Accueil > Centre > Paris > Agenda > SFM-11: CONNECT

Lire la suite

Haut de page

Suivez Inria