11:00 to 12:00
Seminar

From lambda-calculus to programming

Jean-Jacques Lévy
Thinking, modeling and mastering computer calculation
11:00 to 12:00
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    Open to all, subject to availability
    -

    Documents and media

    Speaker(s)

    Jean-Jacques Lévy

    Events

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

    Lecture
    10:00 to 11:00

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

    Lecture
    11:00 to 12:00

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

    Lecture
    10:00 to 11:00

    Lambda-calculus, logic and linguistics
    Gérard Huet

    Seminar
    11:00 to 12:00

    Semantics, information and fixed points
    Gérard Berry

    Lecture
    10:00 to 11:00

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

    Seminar
    11:00 to 12:00

    Automata and transition systems
    Gérard Berry

    Lecture
    10:00 to 11:00

    Walk in the land of automata - coloring roads
    Dominique Perrin

    Seminar
    11:00 to 12:00

    Asynchronous parallelism
    Gérard Berry

    Lecture
    10:00 to 11:00

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

    Seminar
    11:00 to 12:00

    The distributed world : from problems to algorithms
    Michel Raynal

    Seminar
    12:00 to 13:00

    Synchronous and vibratory parallelism
    Gérard Berry

    Lecture
    10:00 to 11:00

    Data-flow parallelism : the synchronous Lustre language
    Nicolas Halbwachs

    Seminar
    11:00 to 12:00

    Circuits and 2-adic numbers
    Jean Vuillemin

    Seminar
    12:00 to 13:00

    Programming
    Manuel Serrano

    Seminar
    10:15 to 10:50

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

    Seminar
    10:50 to 11:25

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

    Seminar
    11:25 to 12:00

    The necessary but delicate cooperation of models
    Gérard Berry

    Lecture
    10:00 to 11:00

    Conclusion
    Gérard Berry

    Lecture
    11:00 to 12:00

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

    Seminar
    11:00 to 12:00

    See also

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