Section: Dissemination

Promoting Scientific Activities

Scientific Events: Selection

Member of the Conference Program Committees
  • Albert Benveniste has served on the Program Committee of the Modelica Conference 2019.

  • Khalil Ghorbal has served on the Program Committee of the VMCAI 2019 conference.

  • Benoît Caillaud has served on the Steering Committee of the ACSD 2019 conference.

Invited Talks

Albert Benveniste has given an invited talk titled “Why considering nonstandard semantics for hybrid systems and how to reconcile it with superdense time semantics” at the Oded Maler Memorial workshop at the HSCC'19 conference in Montreal, Canada.

Leadership within the Scientific Community

Albert Benveniste is member of the French Académie des Technologies.

Scientific Expertise

  • In 2019, Benoît Caillaud has reviewed collaborative research project proposals submitted to the French national funding agency ANR. As an Inria Evaluation Committee member, he has served on several Inria hiring and promotion committees.

  • Albert Benveniste is president of the Scientific Council of Orange and member of the Scientific Council of Safran.

Research Administration