Il y a 2 Résultats avec le mot clé : "Sécurité"
Sécurité
Atelier GIPSy 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 :
Séminaire - Sécurité
Séminaire "Sécurité & méthodes formelles"
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"
Centres de recherche Inria
- Rennes (2)
Inria
Inria.fr
Inria Channel