Il y a 1 Résultats avec le mot clé : "Logique"
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 :
Centres de recherche Inria
- Rennes (1)
Inria
Inria.fr
Inria Channel