→
Seminar

Esterel from A to Z

→
    from to
    See also:

    Program

    Lecture
    -

    Digital photography, a perfect example of the power of computers

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

    Human-machine interaction

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

    Principles, ideas and styles for reactive programming

    Gérard Berry
    Esterel from A to Z
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Lecture
    -

    Semantics, causality and constructivity of synchronous languages

    Gérard Berry
    Esterel from A to Z
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Seminar
    -

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

    Louis Mandel
    Esterel from A to Z
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Lecture
    -

    Translation of Esterel into circuits

    Gérard Berry
    Esterel from A to Z
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Seminar
    -

    The Signal language and its applications

    Albert Benveniste et Thierry Gautier
    Esterel from A to Z
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Lecture
    -

    Loops and reincarnation in Esterel

    Gérard Berry
    Esterel from A to Z
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Seminar
    -

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

    Reinhard von Hanxleden
    Esterel from A to Z
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Lecture
    -

    Clock gating, multi-clocks, implementation and optimization

    Gérard Berry
    Esterel from A to Z
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Seminar
    -

    Formal verification of a Lustre compiler

    Timothy Bourke
    Esterel from A to Z
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Lecture
    -

    Exec, formal verification, HipHop.js

    Gérard Berry
    Esterel from A to Z
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -
    Seminar
    -

    Formal verification in Coq of the semantic chain for Esterel compilation

    Lionel Rieg
    Esterel from A to Z
    Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
    -

    See also

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