Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

Member of the Organizing Committees

Jean-Pierre Talpin served as Finance Chair and Local Organizer of the 16th J16th ACM-IEEE conference on methods and models for system design in Beijing, China (http://memocode.irisa.fr/2018) and its 1st embedded workshop on formal methods in China’s industry.

Scientific Events Selection

Member of the Conference Program Committees

Jean-Pierre Talpin served the program committee of:

• LCTES'18, 21th. ACM SIGPLAN-SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems

• SAC'19, 34rd. ACM SIGAPP Symposium on Applied Computing

• SCOPES'18, 21th. International Workshop on Software and Compilers for Embedded Systems

Reviewer

Thierry Gautier reviewed articles for IEEE Access and Science of Computer Programming.

Journal

Member of the Editorial Boards

Jean-Pierre Talpin is Associate Editor with the ACM Transactions for Embedded Computing Systems (TECS).

Reviewer - Reviewing Activities

Thierry Gautier reviewed articles for IEEE Access and Science of Computer Programming.

Invited Talks

Jean-Pierre Talpin gave a keynote entitled “Refinement types for system design” at the Symposium on Dependable Software Engineering (SETTA'17) in Changsha, October 25.

Thierry Gautier and Albert Benveniste gave a seminar on “The Signal synchronous language: the principles beyond the language and how to exploit and extend them”, in March 2018 at the Collège de France, in Gérard Berry's 2017-2018 lecture course (https://www.college-de-france.fr/site/gerard-berry/seminar-2018-03-07-17h30.htm).

Expertise

Jean-Pierre Talpin served as vice-president of CES 25 (Computer Science Evaluation Committee) of ANR.