→
Seminar

Thinking, modeling and mastering computer calculation

→
    from to
    See also:

    Program

    Calculability : machines, languages and functions (1)
    Gérard Berry

    -
    Lecture
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Calculability : machines, languages and functions (2)
    Gérard Berry

    -
    Lecture
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    The lambda-calculus: reductions, causality and determinism
    Gérard Berry

    -
    Lecture
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Lambda-calculus, logic and linguistics
    Gérard Huet

    -
    Seminar
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Semantics, information and fixed points
    Gérard Berry

    -
    Lecture
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    From lambda-calculus to programming
    Jean-Jacques Lévy

    -
    Seminar
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Automata and transition systems
    Gérard Berry

    -
    Lecture
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Walk in the land of automata - coloring roads
    Dominique Perrin

    -
    Seminar
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Asynchronous parallelism
    Gérard Berry

    -
    Lecture
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Parallelism and distribution : from calculations to languages
    Cédric Fournet

    -
    Seminar
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    The distributed world : from problems to algorithms
    Michel Raynal

    -
    Seminar
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Synchronous and vibratory parallelism
    Gérard Berry

    -
    Lecture
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Data-flow parallelism : the synchronous Lustre language
    Nicolas Halbwachs

    -
    Seminar
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Circuits and 2-adic numbers
    Jean Vuillemin

    -
    Seminar
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Programming
    Manuel Serrano

    -
    Seminar
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Customized navigation - Internet, P2P and social networks
    Anne-Marie Kermarrec

    -
    Seminar
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Using Bayesian networks to understand computations in sensory circuits
    Sophie Denève

    -
    Seminar
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    The necessary but delicate cooperation of models
    Gérard Berry

    -
    Lecture
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Multiple forms of neural computation and compositionality in cortical dynamics
    Yves Frégnac

    -
    Seminar
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Conclusion
    Gérard Berry

    -
    Lecture
    Thinking, modeling and mastering computer calculation
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    See also

    Lecture related to the seminar: Thinking, modeling and mastering computer calculation
    Gérard Berry, chair Computer Sciences and Digital Technologies