Previous | 
Home
Section: Dissemination
Promoting Scientific Activities
Scientific Events Organisation
General Chair, Scientific Chair
Scientific Events Selection
Member of the Conference Program Committees
-
Timothy Bourke was a member of the PC of the Modelica Conference 2017.
-
Timothy Bourke was a member of the Student Research Competition panel of PLDI 2017.
-
Francesco Zappa Nardelli was a member of the PC of POPL 2017.
-
Francesco Zappa Nardelli was a member of the PC of ECOOP 2017.
-
Marc Pouzet was a member of the PC of SCOPES 2017, EOOLT 2017, FADL 2017.
-
Albert Cohen was a PC member of CGO 2018, Supercomputing 2017, PACT 2017.
-
Albert Cohen was the area co-chair for programming models at IPDPS 2018.
Journal
Member of the Editorial Boards
Reviewer - Reviewing Activities
-
Timothy Bourke was a reviewer for the Springer Real-Time Systems Journal.
-
Timothy Bourke was a reviewer for IEEE Transactions on Software Engineering.
Invited Talks
-
Timothy Bourke was invited to talk about the seL4 project at the Forum Méthodes Formelles: “Méthodes formelles et cyber-sécurité” in Toulouse in January 2017.
-
Timothy Bourke was invited to speak on the “Verified Compilation of Lustre” at the University of Birmingham in March 2017.
-
Francesco Zappa Nardelli is an invited speaker at the Entropy Workshop, January 2018.
-
Francesco Zappa Nardelli was an invited speaker at Dagsthul Seminar 17502 “Testing and Verification of Compilers”, December 2017.
-
Francesco Zappa Nardelli was an invited speaker at the ETH Workshop on Software Correctness and Reliability, October 2017.
-
Marc Pouzet was an invited speaker of the GT OVSTR Digicosme (CEA - Telecom Paris), in April 2017; the GDR Glace (part of GPL), in June 2017.
Leadership within the Scientific Community
Albert Cohen is a steering committee member of the PLDI, PPoPP and Compiler Construction conferences.
Scientific Expertise
Albert Cohen has been a visiting scientist at Facebook Artificial Intelligence Research.