11:00 to 12:00
Seminar

Static Analysis and Verification

Victor Vianu
Data science : from First-Order Logic to the Web
11:00 to 12:00
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    Open to all, subject to availability
    -

    Documents and media

    Speaker(s)

    Victor Vianu

    U.C. San Diego

    Events

    Lecture
    10:00 to 11:00
    Serge Abiteboul

    Relational model
    Seminar
    11:00 to 12:00
    Moshe Vardi

    Database Queries-Logic and Complexity
    Lecture
    10:00 to 11:00
    Serge Abiteboul

    Beyond the relational model
    Seminar
    11:00 to 12:00
    Anastasia Ailamaki

    Managing Scientific Data
    Lecture
    10:00 to 11:00
    Serge Abiteboul

    The Semantic Web
    Seminar
    11:00 to 12:00
    François Bancilhon et Julien Masanès

    Opening up public data. Web archiving
    Lecture
    10:00 to 11:00
    Serge Abiteboul

    Active documents and AXML
    Seminar
    11:00 to 12:00
    Victor Vianu

    Static Analysis and Verification
    Lecture
    10:00 to 11:00
    Serge Abiteboul

    Web search engine
    Seminar
    11:00 to 12:00
    Tova Milo

    Crowd Data Sourcing
    Lecture
    10:00 to 11:00
    Serge Abiteboul

    Datalog : The renaissance
    Seminar
    11:00 to 12:00
    Georg Gottlob

    Data extraction from the Web
    Lecture
    10:00 to 11:00
    Serge Abiteboul

    Distributed data management
    Seminar
    11:00 to 12:00
    Gerhard Weikum

    Knowledge Harvesting from the Web
    Lecture
    10:00 to 11:00
    Serge Abiteboul

    Distributed Datalog and Webdamlog
    Seminar
    11:00 to 12:00
    Marie-Christine Rousset

    Semantic Web reasoning
    Seminar
    11:30 to 12:30
    Pierre Senellart

    Social networking

    See also

    Lecture related to the seminar: Data science : from First-Order Logic to the Web
    Serge Abiteboul, chair Computer Sciences and Digital Technologies
    Data science : from First-Order Logic to the Web