→
Séminaire

Où va l'informatique ?

→
    du au
    Voir aussi :

    Programme

    Cours
    -

    En théorie, la théorie et la pratique c'est pareil, en pratique c'est pas vrai (d'après Yogi Berra)

    Gérard Berry
    Où va l'informatique ?
    Inria Bordeaux
    -
    Séminaire
    -

    Coq : aspects pratiques de la théorie des types

    Yves Bertot et Pierre Castéran
    Où va l'informatique ?
    Inria Bordeaux
    -
    Cours
    -

    Où va l'informatique ?

    Gérard Berry
    Où va l'informatique ?
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Cours
    -

    Enseigner l'informatique

    Gérard Berry
    Où va l'informatique ?
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Séminaire
    -

    Automatisation de la maintenance du noyau de Linux : l'expérience Coccinelle

    Julia Lawall
    Où va l'informatique ?
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Cours
    -

    Les aspects scientifiques de la sécurité informatique

    Gérard Berry
    Où va l'informatique ?
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Séminaire
    -

    Sécurité numérique – sommes-nous condamnés à une lutte inégale entre le glaive et le bouclier ?

    Guillaume Poupard
    Où va l'informatique ?
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Cours
    -

    Retour sur quelques questions de recherche en informatique moins connues du public

    Gérard Berry
    Où va l'informatique ?
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Séminaire
    -

    Les enjeux de la recherche publique en informatique

    Antoine Petit
    Où va l'informatique ?
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    Voir aussi

    Cours en relation avec le séminaire : Où va l'informatique ?
    Gérard Berry, chaire Algorithmes, machines et langages