11:00 à 12:00
Séminaire

Static Analysis and Verification

Victor Vianu
Sciences des données : de la Logique du premier ordre à la Toile
11:00 à 12:00
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    En libre accès, dans la limite des places disponibles
    -

    Documents et médias

    Intervenant(s)

    Victor Vianu

    U.C. San Diego

    Événements

    Cours
    10:00 à 11:00
    Serge Abiteboul

    Modèle relationnel
    Séminaire
    11:00 à 12:00
    Moshe Vardi

    Database Queries—Logic and Complexity
    Cours
    10:00 à 11:00
    Serge Abiteboul

    Au-delà du modèle relationnel
    Séminaire
    11:00 à 12:00
    Anastasia Ailamaki

    Managing Scientific Data
    Cours
    10:00 à 11:00
    Serge Abiteboul

    Le Web sémantique
    Séminaire
    11:00 à 12:00
    François Bancilhon et Julien Masanès

    Ouverture des données publiques. Archivage du Web
    Cours
    10:00 à 11:00
    Serge Abiteboul

    Documents actifs et AXML
    Séminaire
    11:00 à 12:00
    Victor Vianu

    Static Analysis and Verification
    Cours
    10:00 à 11:00
    Serge Abiteboul

    Moteur de recherche de la Toile
    Séminaire
    11:00 à 12:00
    Tova Milo

    Crowd Data Sourcing
    Cours
    10:00 à 11:00
    Serge Abiteboul

    Datalog : La renaissance
    Séminaire
    11:00 à 12:00
    Georg Gottlob

    Data extraction from the Web
    Cours
    10:00 à 11:00
    Serge Abiteboul

    Gestion de données distribuées
    Séminaire
    11:00 à 12:00
    Gerhard Weikum

    Knowledge Harvesting from the Web
    Cours
    10:00 à 11:00
    Serge Abiteboul

    Datalog distribué et Webdamlog
    Séminaire
    11:00 à 12:00
    Marie-Christine Rousset

    Raisonnement dans le Web sémantique
    Séminaire
    11:30 à 12:30
    Pierre Senellart

    Réseaux sociaux

    Voir aussi

    Cours en relation avec le séminaire : Sciences des données : de la Logique du premier ordre à la Toile
    Serge Abiteboul, chaire Informatique et sciences numériques
    Sciences des données : de la Logique du premier ordre à la Toile