Il y a 3 Résultats avec le mot clé : "ARLES"
Séminaire : ARLES
Séminaire ARLES
Entrée libre.
Horaire : 10h30
Lieu : Bâtiment 14, Inria Paris - Rocquencourt
Intervenants : Klara Nahrstedt - Department of Computer Science University of Illinois at Urbana-Champaign
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > Séminaire ARLES
Summer School
SFM-11: CONNECT
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 - Rocquencourt > Agenda > SFM-11: CONNECT
Nelly Bencomo - Equipe-projet Arles
-
© Inria
Rencontre
Rencontre avec Nelly Bencomo
Nelly Bencomo, originaire du Venezuela, a vécu pendant plus de 10 ans au Royaume-Uni avant de rejoindre la France. Après son doctorat à l’université de Lancaster (Royaume-Uni), elle a obtenu une bourse européenne Marie Curie pour mettre en œuvre un projet de recherche, d’une durée de 2 ans au sein de l’équipe-projet Arles, portant sur : « requirements-aware systems ».
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Actualités > Rencontre avec Nelly Bencomo
Inria
Inria.fr
Inria Channel
Centres de recherche Inria