11:00am - 12:00pm
Lecture

Calculability : machines, languages and functions (2)

Gérard Berry
Thinking, modeling and mastering computer calculation
11:00am - 12:00pm
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    Open to all, subject to availability
    -

    Speaker(s)

    Gérard Berry

    Professor at the Collège de France

    Events

    Lecture
    10:00 - 11:00am
    Gérard Berry

    Calculability : machines, languages and functions (1)
    Lecture
    11:00am - 12:00pm
    Gérard Berry

    Calculability : machines, languages and functions (2)
    Lecture
    10:00 - 11:00am
    Gérard Berry

    The lambda-calculus: reductions, causality and determinism
    Seminar
    11:00am - 12:00pm
    Gérard Huet

    Lambda-calculus, logic and linguistics
    Lecture
    10:00 - 11:00am
    Gérard Berry

    Semantics, information and fixed points
    Seminar
    11:00am - 12:00pm
    Jean-Jacques Lévy

    From lambda-calculus to programming
    Lecture
    10:00 - 11:00am
    Gérard Berry

    Automata and transition systems
    Seminar
    11:00am - 12:00pm
    Dominique Perrin

    Walk in the land of automata - coloring roads
    Lecture
    10:00 - 11:00am
    Gérard Berry

    Asynchronous parallelism
    Seminar
    11:00am - 12:00pm
    Cédric Fournet

    Parallelism and distribution : from calculations to languages
    Seminar
    12:00 - 1:00pm
    Michel Raynal

    The distributed world : from problems to algorithms
    Lecture
    10:00 - 11:00am
    Gérard Berry

    Synchronous and vibratory parallelism
    Seminar
    11:00am - 12:00pm
    Nicolas Halbwachs

    Data-flow parallelism : the synchronous Lustre language
    Seminar
    12:00 - 1:00pm
    Jean Vuillemin

    Circuits and 2-adic numbers
    Seminar
    10:15 - 10:50am
    Manuel Serrano

    Programming
    Seminar
    10:50 - 11:25am
    Anne-Marie Kermarrec

    Customized navigation - Internet, P2P and social networks
    Seminar
    11:25am - 12:00pm
    Sophie Denève

    Using Bayesian networks to understand computations in sensory circuits
    Lecture
    10:00 - 11:00am
    Gérard Berry

    The necessary but delicate cooperation of models
    Lecture
    11:00am - 12:00pm
    Gérard Berry

    Conclusion
    Seminar
    11:00am - 12:00pm
    Yves Frégnac

    Multiple forms of neural computation and compositionality in cortical dynamics

    See also

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