Inria
Inria.fr
Inria Channel
Il y a 4 Résultats avec le mot clé : "logique"
Histoire d'Inria
Marcel-Paul Schützenberger
Mathématicien et psychiatre, il est nommé en 1970 membre du directoire de l’IRIA.
Mots-clés :
- Marcel-Paul Schützenberger
- Langage non contextuel
- Logique
- Intelligence Artificielle
- Jacques-Louis Lions
- Décentralisation
Accueil > Institut > Inria en bref > Ceux qui ont fait Inria > Marcel-Paul Schützenberger
Histoire d'Inria
Serge Abiteboul, comment protéger les données ?
Diplômé de l'ENST en 1977, il a poursuivi ses études aux Etats-Unis où il a obtenu un PhD en computer science à l'university of Southern California. En 1982, il a rejoint Inria et a obtenu une thèse d'Etat de l'université de Paris Sud. Depuis 1986, il est directeur de recherche Inria.
Mots-clés :
Accueil > Institut > Inria en bref > Ceux qui ont fait Inria > Serge Abiteboul
Place Stanislas à Nancy
Conférence internationale
Symposium logique analyse programme
Dans le cadre du 14e congrès CLMPS (Congress of Logic, Methodology and Philosophy of Science) prévu entre le 19 et le 26 juillet à la Faculté de Droit de Nancy, Véronique Cortier, équipe CASSIS, organise un symposium intitulé "Analyzing programs : logic to the rescue" le vendredi 22 juillet.
Mots-clés :
Accueil > Centre > Nancy > Actualités > Symposium logique analyse programme
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)
Centres de recherche Inria
