→
Seminar

Where are computers headed ?

→
    from to
    See also:

    Program

    In theory, theory and practice are the same, in practice they are not (according to Yogi Berra)
    Gérard Berry

    -
    Lecture
    Where are computers headed ?
    Inria Bordeaux
    -

    Coq : practical aspects of type theory
    Yves Bertot et Pierre Castéran

    -
    Seminar
    Where are computers headed ?
    Inria Bordeaux
    -

    Where are computers headed ?
    Gérard Berry

    -
    Lecture
    Where are computers headed ?
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    Teaching computer science
    Gérard Berry

    -
    Lecture
    Where are computers headed ?
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    Automating Linux kernel maintenance : the Coccinelle experience
    Julia Lawall

    -
    Seminar
    Where are computers headed ?
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    The scientific aspects of computer security
    Gérard Berry

    -
    Lecture
    Where are computers headed ?
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    Digital security - Are we condemned to an unequal struggle between the sword and the shield ?
    Guillaume Poupard

    -
    Seminar
    Where are computers headed ?
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    A look at some of the lesser-known research questions in computer science
    Gérard Berry

    -
    Lecture
    Where are computers headed ?
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    The challenges of public IT research
    Antoine Petit

    -
    Seminar
    Where are computers headed ?
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    See also

    Lecture related to the seminar: Where are computers headed ?
    Gérard Berry, chair Algorithms, machines and languages