11:00 à 12:00
Séminaire

Lambda-calcul, logique et linguistique

Gérard Huet
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)

    Gérard Huet

    Événements

    Cours
    10:00 à 11:00
    Gérard Berry

    Calculabilité : machines, langages et fonctions (1)
    Cours
    11:00 à 12:00
    Gérard Berry

    Calculabilité : machines, langages et fonctions (2)
    Cours
    10:00 à 11:00
    Gérard Berry

    Le lambda-calcul : réductions, causalité et déterminisme
    Séminaire
    11:00 à 12:00
    Gérard Huet

    Lambda-calcul, logique et linguistique
    Cours
    10:00 à 11:00
    Gérard Berry

    Sémantiques, information et points fixes
    Séminaire
    11:00 à 12:00
    Jean-Jacques Lévy

    Du lambda-calcul à la programmation
    Cours
    10:00 à 11:00
    Gérard Berry

    Automates et systèmes de transition
    Séminaire
    11:00 à 12:00
    Dominique Perrin

    Promenade au pays des automates – le coloriage des routes
    Cours
    10:00 à 11:00
    Gérard Berry

    Le parallélisme asynchrone
    Séminaire
    11:00 à 12:00
    Cédric Fournet

    Parallélisme et distribution : des calculs aux langages
    Séminaire
    12:00 à 13:00
    Michel Raynal

    Le monde distribué : des problèmes aux algorithmes
    Cours
    10:00 à 11:00
    Gérard Berry

    Parallélisme synchrone et vibratoire
    Séminaire
    11:00 à 12:00
    Nicolas Halbwachs

    Parallélisme à flot de données : le langage synchrone Lustre
    Séminaire
    12:00 à 13:00
    Jean Vuillemin

    Circuits et nombres 2-adiques
    Séminaire
    10:15 à 10:50
    Manuel Serrano

    La programmation diffuse
    Séminaire
    10:50 à 11:25
    Anne-Marie Kermarrec

    Navigation personnalisée – Internet, P2P et réseaux sociaux
    Séminaire
    11:25 à 12:00
    Sophie Denève

    Comment utiliser les réseaux Bayésien pour comprendre les calculs dans les circuits sensoriels
    Cours
    10:00 à 11:00
    Gérard Berry

    La nécessaire mais délicate coopération de modèles
    Cours
    11:00 à 12:00
    Gérard Berry

    Conclusion
    Séminaire
    11:00 à 12:00
    Yves Frégnac

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

    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