11:00am - 12:00pm
Seminar

Static Analysis and Verification

Victor Vianu
Data science : from First-Order Logic to the Web
11:00am - 12:00pm
    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 - 11:00am

    Database Queries-Logic and Complexity
    Moshe Vardi

    Seminar
    11:00am - 12:00pm

    Beyond the relational model
    Serge Abiteboul

    Lecture
    10:00 - 11:00am

    Managing Scientific Data
    Anastasia Ailamaki

    Seminar
    11:00am - 12:00pm

    The Semantic Web
    Serge Abiteboul

    Lecture
    10:00 - 11:00am

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

    Seminar
    11:00am - 12:00pm

    Active documents and AXML
    Serge Abiteboul

    Lecture
    10:00 - 11:00am

    Static Analysis and Verification
    Victor Vianu

    Seminar
    11:00am - 12:00pm

    Web search engine
    Serge Abiteboul

    Lecture
    10:00 - 11:00am

    Crowd Data Sourcing
    Tova Milo

    Seminar
    11:00am - 12:00pm

    Datalog : The renaissance
    Serge Abiteboul

    Lecture
    10:00 - 11:00am

    Data extraction from the Web
    Georg Gottlob

    Seminar
    11:00am - 12:00pm

    Distributed data management
    Serge Abiteboul

    Lecture
    10:00 - 11:00am

    Knowledge Harvesting from the Web
    Gerhard Weikum

    Seminar
    11:00am - 12:00pm

    Distributed Datalog and Webdamlog
    Serge Abiteboul

    Lecture
    10:00 - 11:00am

    Semantic Web reasoning
    Marie-Christine Rousset

    Seminar
    11:00am - 12:00pm

    Social networking
    Pierre Senellart

    Seminar
    11:30am - 12:30pm

    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