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

    Modèle relationnel
    Serge Abiteboul

    Cours
    10:00 à 11:00

    Database Queries—Logic and Complexity
    Moshe Vardi

    Séminaire
    11:00 à 12:00

    Au-delà du modèle relationnel
    Serge Abiteboul

    Cours
    10:00 à 11:00

    Managing Scientific Data
    Anastasia Ailamaki

    Séminaire
    11:00 à 12:00

    Le Web sémantique
    Serge Abiteboul

    Cours
    10:00 à 11:00

    Ouverture des données publiques. Archivage du Web
    François Bancilhon et Julien Masanès

    Séminaire
    11:00 à 12:00

    Documents actifs et AXML
    Serge Abiteboul

    Cours
    10:00 à 11:00

    Static Analysis and Verification
    Victor Vianu

    Séminaire
    11:00 à 12:00

    Moteur de recherche de la Toile
    Serge Abiteboul

    Cours
    10:00 à 11:00

    Crowd Data Sourcing
    Tova Milo

    Séminaire
    11:00 à 12:00

    Datalog : La renaissance
    Serge Abiteboul

    Cours
    10:00 à 11:00

    Data extraction from the Web
    Georg Gottlob

    Séminaire
    11:00 à 12:00

    Gestion de données distribuées
    Serge Abiteboul

    Cours
    10:00 à 11:00

    Knowledge Harvesting from the Web
    Gerhard Weikum

    Séminaire
    11:00 à 12:00

    Datalog distribué et Webdamlog
    Serge Abiteboul

    Cours
    10:00 à 11:00

    Raisonnement dans le Web sémantique
    Marie-Christine Rousset

    Séminaire
    11:00 à 12:00

    Réseaux sociaux
    Pierre Senellart

    Séminaire
    11:30 à 12:30

    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