Sites Inria

Il y a 3 Résultats avec le mot clé : "Logic"

Workshop

Workshop Dynamics in Logic III

8/06/2015

Lundi 8 juin, à partir de 9h00, se tiendra le workshop Dynamics in Logic III, au centre Inria Rennes - Bretagne Atlantique, salle Turing.

Lieu : Inria Rennes - Bretagne Atlantique, salle Turing

Intervenant(s) : Didier Dubois (CNRS Toulouse), Giuseppe Greco et Alessandra Palmigiano (TU Delft, Netherland), Andreas Herzig (CNRS, Toulouse), Ondrej Maier (Charles University, Prague), Nicola Olivetti (Université d'Aix-Marseille), Olivier Roy (University of Bayreuth, Germany), Guillaume Aucher (Université Rennes 1 - Inria, Rennes)

Mots-clés :

Accueil > Centre > Rennes > Agenda > Workshop Dynamics in Logic III

lire la suite

©fotolia

Démo

Extraction et transformation de flux Twitter

Équipe de recherche Links*

Efficacité de l'utilisation des flux pour certaines tâches de surveillance avec des scénarios en temps réel par l'exemple de Twitter.

Mots-clés :

Accueil > Centre > Lille > Innovation > RII Technologies du web > Démos > Extraction et transformation de flux Twitter

Lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

9/01/2017

Lieu : Inria de Paris, 2 rue Simone Iff, 75012 Paris - Salle Jacques-Louis Lions 1, bâtiment C - 10h30

Intervenant(s) : Jacques-Henri Jourdan- MPI-SWS

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Haut de page

Suivez Inria