Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

• Albert Cohen is the General Chair of PLDI 2017

Member of the Conference Program Committees

• Timothy Bourke was a member of the PC of EMSOFT 2016.

• Francesco Zappa Nardelli was a member of the PC of POPL 2017.

• Francesco Zappa Nardelli will be a member of the PC of ECOOP 2017.

• Albert Cohen was a PC member of ASPLOS, PACT, PPoPP, CGO, PLDI.

Reviewer

• Timothy Bourke was a reviewer for FM 2016 (Int. Symposium on Formal Methods).

Journal

Member of the Editorial Boards

• Albert Cohen is an Associate Editor of ACM TACO.

Reviewer - Reviewing Activities

• Timothy Bourke was a reviewer for IEEE Embedded Systems Letters, ACM Transactions on Embedded Computing Systems, and IEEE Transactions on Software Engineering.

Invited Talks

• April, T. Bourke presented “Towards the verified compilation of Lustre” in the Gallium seminar series in Paris, France.

• December, T. Bourke presented “Verifying a Lustre Compiler (Part 1)” at the SYNCHRON workshop in Bamberg, Germany.

• November, F. Zappa Nardelli presented “Shared Memory Concurrency and Compiler Optimisations” at IMDEA, Madrid, Spain.