Section: Dissemination

Promoting Scientific Activities

Scientific Events Selection

Member of the Conference Program Committees

• T. Bourke served on the PC of the International Conference on Embedded Software (EMSOFT 2018).

• T. Bourke served on the PC for the Journées Francophones des Langages Applicatifs (JFLA 2018).

• T. Bourke served on the PC of the American Modelica Conference 2018.

• T. Bourke served on the PC of the Japanese Modelica Conference 2018.

• T. Bourke served on the PC of the International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018).

• F. Zappa Nardelli will serve on the PC of OOPSLA 2019 (International Conference on Object-Oriented Programming, Systems, Languages & Applications).

• M. Pouzet served on the PC of the International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018).

• M. Pouzet served on the PC of the International Conference on Embedded Software (EMSOFT 2018).

• M. Pouzet served on the PC of the International Conference on Principles and Practice of Declarative Programming (PPDP 2018).

• M. Pouzet served on the PC of the International Forum on specification & Design Languages (FDL 2018).

Reviewer

• T. Bourke reviewed for the International Joint Conference on Automated Reasoning (IJCAR 2018)

• T. Bourke reviewed for the International Conference on Interactive Theorem Proving (ITP 2018)

• T. Bourke reviewed for the International Symposium on Principles and Practice of Declarative Programming (PPDP 2018)

Journal

Reviewer - Reviewing Activities

• T. Bourke was a reviewer for Science of Computer Programming.

Invited Talks

• T. Bourke was invited to present a seminar at the Collège de France in January 2018: La vérification formelle d'un compilateur Lustre.

• T. Bourke was invited to present an LSV Seminar (Laboratoire Spécification et Vérification) at the ENS Cachan in January 2018: Compiling a Synchronous Language with Timers for Simulation

• T. Bourke was invited to present to the Société Informatique de France doctoral seminar at the École normale supérieure in June 2018: 10 lignes de logique pour 1 ligne de code (correct)

• F. Zappa Nardelli was invited to present to the DeepSpec Workshop in July 2018 on Debugging Debug Information.

• T. Bourke and M. Pouzet participated by invitation in the Shonan Meeting 136 on Functional Stream Libraries and Fusion: What's next?, in Japan in October 2018.

• M. Pouzet was invited to give a lecture at the International summer school at Marktoberdorf, in July 2018.

Research Administration

• F. Zappa Nardelli will chair the part-time assistant professor recruitment committee at École Polytechinque.