Section: Dissemination

Promoting Scientific Activities

Scientific Events: Organisation

General Chair, Scientific Chair

• Serge Haddad is a member of the stering committee of the International Conference on Application and Theory of Petri Nets and Concurrency.

• Philippe Dague co-organized with Franck Delaplace the conference on Computational Systems Biology for Complex Diseases on November 28-29, 2019 at ENS Paris-Saclay, which gathered around 80 participants.

• Philippe Dague , as responsible of the working group BIOSS-IA (Systemic Symbolic Biology and Artificial Intelligence) of the GDR IA, organized the 2019 Day at Orléans on May 27.

• Matthias Fuegger co-organized the CELLS workshop at DISC'19. The workshop covers topics from computing among a consortium of cells.

• Stefan Haar co-directed with Benedikt Bollig the scientific and logistic organisation of the ForMal workshop at ENS Paris-Saclay on cross-fertilization between formal methods and machine learning.

Member of the Organizing Committees

• Stefan Haar was co-chair and Serge Haddad was a member of the Scientific Committee (including organisational issues) of the Digicosme Spring School on Formal Methods and Machine Learning held in June at Cachan (ForMaL).

Scientific Events: Selection

Chair of Conference Program Committees

• Stefan Haar was co-chair of program committee for the 40th International Conference on Application and Theory of Petri Nets and Concurrency, Aachen, Germany, June 23-28, 2019.

Member of the Conference Program Committees

• Serge Haddad was a member of the PC of

  • the workshop PNSE associated with ATPN 2019, Aachen, Germany, and

  • the 12th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2019), Palma de Mallorca, Spain.

• Philippe Dague was a member of the program committee of the 30th International Workshop on Principles of Diagnosis DX'19, Klagenfurt/Austria, November 2019.

• Stefan Haar was

  • a member of the programm committee of the 19th International Conference on Applications of Concurrency to Systems Design   (ACSD 2019), Aachen, Germany, June 23-28, 2019, and

  • a member of the program committee of the Workshop Algorithms & Theories for the Analysis of Event Data 2019   (ATAED 2019).

• Matthias Fuegger was

  • Steering commitee member of IEEE ASYNC'19 and

  • PC member of IEEE ASYNC'19 and IEEE DDECS'19.

• Thomas Chatain was

  • a member of the programm committee of the 19th International Conference on Applications of Concurrency to Systems Design   (ACSD 2019), Aachen, Germany, June 23-28, 2019, and

  • a member of the program committee of the 1st International Conference on Process Mining (ICPM 2019)

• Lina Ye was a member of the program committee of the 17th International Workshop on Coordination and Self-adaptativeness of Software Applications   (FOCLASA 2019).

• Stefan Schwoon acted as reviewer for MFCS 2019, FSTTCS 2019, FOSSACS 2019,, TACAS 2019, and STACS 2020.

• Lina Ye was

  • a reviewer of the 58th Conference on Decision and Control  (CDC 2019), and

  • a reviewer of the the 30th International Workshop on Principles of Diagnosis  (DX 2019).

Journal

Member of the Editorial Boards

• Stefan Haar is an associate editor for Journal of Discrete Events Dynamic Systems: Theory and Application  (JDEDS).

Reviewer - Reviewing Activities

• Serge Haddad was a reviewer for the following journals:

  • Journal of Logical and Algebraic Methods in Programming,

  • Innovations in Systems and Software Engineering, and

  • Transactions on Petri Nets and Other Models of Concurrency.

• Thomas Chatain was a reviewer for journals Journal of Discrete Events Dynamic Systems: Theory and Application   (JDEDS) and Fundamenta Informaticae.

• Stefan Schwoon was a reviewer for Journal of Discrete Event Dynamic Systems (JDEDS), Transactions on Software Engineering (TSE), Petri Nets and Other Models of Concurrency (ToPNoC), and Transactions on Programming Languages and Systems (TOPLAS).

• Lina Ye is a reviewer for Journal of IEEE Access   (IEEE Access).

Invited Talks

• Stefan Schwoon gave a talk in the Sybila seminar of Masaryk University, Brno, on Diagnosis and Opacity in Partially Observable Systems.

Scientific Expertise

• Serge Haddad is a member of the scientific and administrative council (CSA) of Labex CIMI of Toulouse and a member of the scientific orientation council (COS) of LIS of Marseille (UMR 7020).

Research Administration

• Serge Haddad is Head of the Computer Science Department of ENS Paris-Saclay.

• Stefan Haar is the president of Inria’s COST-GTRI.