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
-
Albert Benveniste is member of the Burex (Executive Bureau) of the Cominlabs Labex (https://cominlabs.u-bretagneloire.fr/governance).
-
Benoît Caillaud is in charge of the IPL ModeliScale (https://team.inria.fr/modeliscale/) national initiative funded by Inria. He is also head of the Programming Languages & Software Engineering department (http://www.irisa.fr/en/departments/d4-language-and-software-engineering) of IRISA.