Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

Member of the organizing committees

Benoît Caillaud has served on the program and organizing committees of LMCS 2015 (http://www.acsysteme.com/fr/lmcs-2015 ), a national workshop on mathematical modeling and scientific computing.

Scientific events selection

Member of the conference program committees

Benoît Caillaud has served on the program committee of ACSD 2015 (http://www.ulb.ac.be/di/verif/pn2015acsd2015/ ), a conference on the applications of concurrency in system design. He is a member of the steering committe of ACSD since 2006.

Albert Benveniste has served on the program committee of MODELICA 2015 (https://www.modelica.org/events/modelica2015 ), the conference on the Modelica mathematical modeling language.

Reviewer

Benoît Caillaud has reviewed papers submitted to the EMSOFT 2015, TACAS 2015 and ACC 2016 conferences.

Journal

Reviewer - Reviewing activities

Benoît Caillaud has reviewed papers submitted to Acta Informatica.

Invited talks

Benoît Caillaud has given an invited talk on Time Domains in Hybrid Systems Modeling at the LCCC-ACCESS workshop on Model-Based Engineering (http://www.lccc.lth.se/index.php?page=LCCC-ACCESS-2015-05 ). He has given an invited talk on Contracts and Interfaces in System Engineering at the CNRIA 2015 national conference (http://cnria.cci.ucad.sn/ ), Thiès, Sénégal.

Albert Benveniste has given invited talks at the Modelica 2015 conference (https://www.modelica.org/events/modelica2015 ) and at the Gretsi 2015 colloquium (http://www.gretsi.fr/colloque2015/ ). He has given an invited talk at the LCCC-Access workshop on Model-Based Engineering (http://www.lccc.lth.se/index.php?page=LCCC-ACCESS-2015-05 ).

Research administration

Benoît Caillaud is head of the Languages and Software Engineering department of IRISA (http://www.irisa.fr/en/departments/d4-language-and-software-engineering ). He has been in charge of editing the synthesis documents, regarding this department, used for the evaluation of IRISA by HCERES in January 2016.