Il y a 3 Résultats avec le mot clé : "Arles"

Séminaire : ARLES

Séminaire ARLES

6/12/2010

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

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 - Rocquencourt > Agenda > SFM-11: CONNECT

Lire la suite

Nelly Bencomo - Equipe-projet Arles - © Inria

Rencontre

Rencontre avec Nelly Bencomo

Amélie Castan - 26/03/2012

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

Lire la suite

Haut de page