→
Séminaire

Penser, modéliser et maîtriser le calcul informatique

→
    du au
    Voir aussi :

    Programme

    Calculabilité : machines, langages et fonctions (1)
    Gérard Berry

    -
    Cours
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Calculabilité : machines, langages et fonctions (2)
    Gérard Berry

    -
    Cours
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Le lambda-calcul : réductions, causalité et déterminisme
    Gérard Berry

    -
    Cours
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Lambda-calcul, logique et linguistique
    Gérard Huet

    -
    Séminaire
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Sémantiques, information et points fixes
    Gérard Berry

    -
    Cours
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Du lambda-calcul à la programmation
    Jean-Jacques Lévy

    -
    Séminaire
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Automates et systèmes de transition
    Gérard Berry

    -
    Cours
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Promenade au pays des automates – le coloriage des routes
    Dominique Perrin

    -
    Séminaire
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Le parallélisme asynchrone
    Gérard Berry

    -
    Cours
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Parallélisme et distribution : des calculs aux langages
    Cédric Fournet

    -
    Séminaire
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Le monde distribué : des problèmes aux algorithmes
    Michel Raynal

    -
    Séminaire
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Parallélisme synchrone et vibratoire
    Gérard Berry

    -
    Cours
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Parallélisme à flot de données : le langage synchrone Lustre
    Nicolas Halbwachs

    -
    Séminaire
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Circuits et nombres 2-adiques
    Jean Vuillemin

    -
    Séminaire
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    La programmation diffuse
    Manuel Serrano

    -
    Séminaire
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Navigation personnalisée – Internet, P2P et réseaux sociaux
    Anne-Marie Kermarrec

    -
    Séminaire
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Comment utiliser les réseaux Bayésien pour comprendre les calculs dans les circuits sensoriels
    Sophie Denève

    -
    Séminaire
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    La nécessaire mais délicate coopération de modèles
    Gérard Berry

    -
    Cours
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Multiplicité des formes de calcul neuronal et compositionnalité dans la dynamique corticale
    Yves Frégnac

    -
    Séminaire
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Conclusion
    Gérard Berry

    -
    Cours
    Penser, modéliser et maîtriser le calcul informatique
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Voir aussi

    Cours en relation avec le séminaire : Penser, modéliser et maîtriser le calcul informatique
    Gérard Berry, chaire Informatique et sciences numériques