10:00 to 11:00
Seminar

Distributed Web programming in Hop (1)

Manuel Serrano
Time and events in computing
10:00 to 11:00
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    Open to all, subject to availability
    -

    Documents and media

    Speaker(s)

    Manuel Serrano

    Inria Research Director

    Events

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

    Talking about time, but in a formal way (1)
    Lecture
    11:00 to 12:00
    Gérard Berry

    Talking about the weather, but in a formal way (2)
    Lecture
    10:00 to 11:00
    Gérard Berry

    Circuits and 2-adic numbers, a new vision of time-space exchange
    Seminar
    11:00 to 12:00
    Olivier Temam

    The evolution of microprocessors
    Lecture
    10:00 to 11:00
    Gérard Berry

    Software reactive systems, the design of the Esterel v5 synchronous language
    Seminar
    11:00 to 12:00
    Emmanuel Ledinot

    Synchronous modeling of avionics systems and software
    Lecture
    10:00 to 11:00
    Gérard Berry

    Esterel v5 software compilation
    Seminar
    11:00 to 12:00
    Bruno Pagano

    The SCADE 6 language for embedded systems, from design to compilation
    Lecture
    10:00 to 11:00
    Gérard Berry

    Synchronous and multi-clock circuit design in Esterel v7
    Seminar
    11:00 to 12:00
    Jordi Cortadella

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

    Esterel v7 hardware synthesis and software compilation
    Seminar
    11:00 to 12:00
    Jordi Cortadella

    Elastic Circuits, Blending Synchronous and Asynchronous Technologies
    Seminar
    10:00 to 11:00
    Manuel Serrano

    Distributed Web programming in Hop (1)
    Lecture
    10:00 to 12:00
    Gérard Berry

    Orchestration of Web activities in HipHop
    Seminar
    11:00 to 12:00
    Manuel Serrano

    Distributed Web programming in Hop (2)
    Seminar
    10:00 to 11:00
    Philippe Manoury

    The music of real time
    Seminar
    11:00 to 12:00
    Arshia Cont

    Computer music : from performer/electronic synchronization to algorithmic score

    See also

    Lecture related to the seminar: Time and events in computing
    Gérard Berry, chair Algorithms, machines and languages
    Time and events in computing