Il y a 52 Résultats avec le mot clé : "sécurité"

Alban Galland

Parcours d'un jeune chercheur

Alban Galland - doctorant

Pertinence : 100 %

2/03/2011

Alban Galland est doctorant en informatique au sein du projet Webdam financé par le Conseil européen de la recherche (ERC) et hébergé au centre de recherche Inria Saclay Ile-de-France. Il travaille sous la direction de Serge Abiteboul, dans le domaine de la gestion d'information sur le Web (Bases de données distribuées, réseaux sociaux, fouilles de données). Il nous expose son expérience au sein de ce projet.

Mots-clés :

Accueil > Actualité > Actualités Inria > Alban Galland - doctorant

Lire la suite

Sécurité

Atelier GIPSy 2010

Pertinence : 100 %

15/11/2010 au 16/11/2010

Le but principal de cet atelier est de regrouper des chercheurs ayant pour centres d'intérêt les jeux, la logique et la sécurité (au sens large), et de leur offrir un forum privilégié pour pouvoir présenter et échanger leurs idées sur ces thématiques.

Lieu : Salle Michel Métiver, centre de recherche Inria Rennes - Bretagne Atlantique

Intervenants : Hans van Ditmarsch (Université de Séville), Jean-François Raskin (Université libre de Bruxelles), Tristan Tomala (HEC Paris)

Mots-clés :

Accueil > Centre > Rennes > Agenda > Atelier GIPSy 2010

Programme et inscriptions

iMatch

iMatch

iMatch Sécurité / Preuve de Programmes

Pertinence : 100 %

23/11/2010

Le centre Inria Saclay - Île-de-France, en partenariat avec Systématic et Oséo, organise le mardi 23 novembre à 14h - salle de la CAPS (Parc Orsay Université) des rencontres entre industriels et chercheurs sur le thème de la sécurité et preuve de programmes. 

Lieu : Parc Orsay Université - salle de la CAPS

Intervenants : Chercheurs des équipes SECSI, TANC, COMETE et PROVAL

Mots-clés :

Accueil > Centre > Saclay > Agenda > iMatch Sécurité / Preuve de Programmes

Lire la suite

Haut de page