→
Seminar

Esterel from A to Z

→
    from to
    See also:

    Program

    Digital photography, a perfect example of the power of computers
    Gérard Berry

    -
    Lecture
    Esterel from A to Z
    LILLIAD, Campus Université Lille, Sciences et technologies, 2 avenue Jean Perrin, Villeneuve d'Ascq
    -

    Human-machine interaction
    Stéphane Huot

    -
    Seminar
    Esterel from A to Z
    LILLIAD, Campus Université Lille – sciences et technologies — 2 avenue Jean Perrin, Villeneuve d'Ascq
    -

    Principles, ideas and styles for reactive programming
    Gérard Berry

    -
    Lecture
    Esterel from A to Z
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Semantics, causality and constructivity of synchronous languages
    Gérard Berry

    -
    Lecture
    Esterel from A to Z
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Reactive ML, reactive programming of non-real-time applications
    Louis Mandel

    -
    Seminar
    Esterel from A to Z
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Translation of Esterel into circuits
    Gérard Berry

    -
    Lecture
    Esterel from A to Z
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    The Signal language and its applications
    Albert Benveniste et Thierry Gautier

    -
    Seminar
    Esterel from A to Z
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Loops and reincarnation in Esterel
    Gérard Berry

    -
    Lecture
    Esterel from A to Z
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Sequential Constructiveness, SCL and ScCharts: incorporating synchrony in conventional languages
    Reinhard von Hanxleden

    -
    Seminar
    Esterel from A to Z
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Clock gating, multi-clocks, implementation and optimization
    Gérard Berry

    -
    Lecture
    Esterel from A to Z
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Formal verification of a Lustre compiler
    Timothy Bourke

    -
    Seminar
    Esterel from A to Z
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Exec, formal verification, HipHop.js
    Gérard Berry

    -
    Lecture
    Esterel from A to Z
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Formal verification in Coq of the semantic chain for Esterel compilation
    Lionel Rieg

    -
    Seminar
    Esterel from A to Z
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    See also

    Lecture related to the seminar: Esterel from A to Z
    Gérard Berry, chair Algorithms, machines and languages