11:00 to 12:00
Seminar

Lambda-calculus, logic and linguistics

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

    Gérard Huet

    Events

    Lecture
    10:00 to 11:00
    Gérard Berry

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

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

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

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

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

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

    Automata and transition systems
    Seminar
    11:00 to 12:00
    Dominique Perrin

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

    Asynchronous parallelism
    Seminar
    11:00 to 12:00
    Cédric Fournet

    Parallelism and distribution : from calculations to languages
    Seminar
    12:00 to 13:00
    Michel Raynal

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

    Synchronous and vibratory parallelism
    Seminar
    11:00 to 12:00
    Nicolas Halbwachs

    Data-flow parallelism : the synchronous Lustre language
    Seminar
    12:00 to 13:00
    Jean Vuillemin

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

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

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

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

    The necessary but delicate cooperation of models
    Seminar
    11:00 to 12:00
    Yves Frégnac

    Multiple forms of neural computation and compositionality in cortical dynamics
    Lecture
    11:00 to 12:00
    Gérard Berry

    Conclusion

    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