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

Sécurité

Atelier GIPSy 2010

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

sécurité

Séminaire - Sécurité

Séminaire "Sécurité & méthodes formelles"

3/12/2010

Lieu : Centre de recherche Inria Rennes - Bretagne Atlantique, salle Michel Métivier

Intervenants : Yassine Lakhnech, Université de Grenoble, CNRS/VERIMAG

Mots-clés :

Accueil > Centre > Rennes > Agenda > Séminaire "Sécurité & méthodes formelles"

Lire la suite

Haut de page