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

    Relational model
    Serge Abiteboul

    Lecture
    10:00 to 11:00

    Database Queries-Logic and Complexity
    Moshe Vardi

    Seminar
    11:00 to 12:00

    Beyond the relational model
    Serge Abiteboul

    Lecture
    10:00 to 11:00

    Managing Scientific Data
    Anastasia Ailamaki

    Seminar
    11:00 to 12:00

    The Semantic Web
    Serge Abiteboul

    Lecture
    10:00 to 11:00

    Opening up public data. Web archiving
    François Bancilhon et Julien Masanès

    Seminar
    11:00 to 12:00

    Active documents and AXML
    Serge Abiteboul

    Lecture
    10:00 to 11:00

    Static Analysis and Verification
    Victor Vianu

    Seminar
    11:00 to 12:00

    Web search engine
    Serge Abiteboul

    Lecture
    10:00 to 11:00

    Crowd Data Sourcing
    Tova Milo

    Seminar
    11:00 to 12:00

    Datalog : The renaissance
    Serge Abiteboul

    Lecture
    10:00 to 11:00

    Data extraction from the Web
    Georg Gottlob

    Seminar
    11:00 to 12:00

    Distributed data management
    Serge Abiteboul

    Lecture
    10:00 to 11:00

    Knowledge Harvesting from the Web
    Gerhard Weikum

    Seminar
    11:00 to 12:00

    Distributed Datalog and Webdamlog
    Serge Abiteboul

    Lecture
    10:00 to 11:00

    Semantic Web reasoning
    Marie-Christine Rousset

    Seminar
    11:00 to 12:00

    Social networking
    Pierre Senellart

    Seminar
    11:30 to 12:30

    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