→
Séminaire

Où va l'informatique ?

→
    du au
    Voir aussi :

    Programme

    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

    -
    Cours
    Où va l'informatique ?
    Inria Bordeaux
    -

    Coq : aspects pratiques de la théorie des types
    Yves Bertot et Pierre Castéran

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

    Où va l'informatique ?
    Gérard Berry

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

    Enseigner l'informatique
    Gérard Berry

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

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

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

    Les aspects scientifiques de la sécurité informatique
    Gérard Berry

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

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

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

    Retour sur quelques questions de recherche en informatique moins connues du public
    Gérard Berry

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

    Les enjeux de la recherche publique en informatique
    Antoine Petit

    -
    Séminaire
    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