11:00 à 12:00
Séminaire

Du lambda-calcul à la programmation

Jean-Jacques Lévy
Penser, modéliser et maîtriser le calcul informatique
11:00 à 12:00
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    En libre accès, dans la limite des places disponibles
    -

    Documents et médias

    Intervenant(s)

    Jean-Jacques Lévy

    Événements

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

    Cours
    10:00 à 11:00

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

    Cours
    11:00 à 12:00

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

    Cours
    10:00 à 11:00

    Lambda-calcul, logique et linguistique
    Gérard Huet

    Séminaire
    11:00 à 12:00

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

    Cours
    10:00 à 11:00

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

    Séminaire
    11:00 à 12:00

    Automates et systèmes de transition
    Gérard Berry

    Cours
    10:00 à 11:00

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

    Séminaire
    11:00 à 12:00

    Le parallélisme asynchrone
    Gérard Berry

    Cours
    10:00 à 11:00

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

    Séminaire
    11:00 à 12:00

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

    Séminaire
    12:00 à 13:00

    Parallélisme synchrone et vibratoire
    Gérard Berry

    Cours
    10:00 à 11:00

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

    Séminaire
    11:00 à 12:00

    Circuits et nombres 2-adiques
    Jean Vuillemin

    Séminaire
    12:00 à 13:00

    La programmation diffuse
    Manuel Serrano

    Séminaire
    10:15 à 10:50

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

    Séminaire
    10:50 à 11:25

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

    Séminaire
    11:25 à 12:00

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

    Cours
    10:00 à 11:00

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

    Séminaire
    11:00 à 12:00

    Conclusion
    Gérard Berry

    Cours
    11:00 à 12:00

    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
    Penser, modéliser et maîtriser le calcul informatique