11:00am - 12:00pm
Seminar

From lambda-calculus to programming

Jean-Jacques Lévy
Thinking, modeling and mastering computer calculation
11:00am - 12:00pm
    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 - 11:00am

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

    Lecture
    11:00am - 12:00pm

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

    Lecture
    10:00 - 11:00am

    Lambda-calculus, logic and linguistics
    Gérard Huet

    Seminar
    11:00am - 12:00pm

    Semantics, information and fixed points
    Gérard Berry

    Lecture
    10:00 - 11:00am

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

    Seminar
    11:00am - 12:00pm

    Automata and transition systems
    Gérard Berry

    Lecture
    10:00 - 11:00am

    Walk in the land of automata - coloring roads
    Dominique Perrin

    Seminar
    11:00am - 12:00pm

    Asynchronous parallelism
    Gérard Berry

    Lecture
    10:00 - 11:00am

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

    Seminar
    11:00am - 12:00pm

    The distributed world : from problems to algorithms
    Michel Raynal

    Seminar
    12:00 - 1:00pm

    Synchronous and vibratory parallelism
    Gérard Berry

    Lecture
    10:00 - 11:00am

    Data-flow parallelism : the synchronous Lustre language
    Nicolas Halbwachs

    Seminar
    11:00am - 12:00pm

    Circuits and 2-adic numbers
    Jean Vuillemin

    Seminar
    12:00 - 1:00pm

    Programming
    Manuel Serrano

    Seminar
    10:15 - 10:50am

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

    Seminar
    10:50 - 11:25am

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

    Seminar
    11:25am - 12:00pm

    The necessary but delicate cooperation of models
    Gérard Berry

    Lecture
    10:00 - 11:00am

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

    Seminar
    11:00am - 12:00pm

    Conclusion
    Gérard Berry

    Lecture
    11:00am - 12:00pm

    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