Section: Dissemination

Promoting Scientific Activities

Scientific Events Selection

Chair of Conference Program Committees

• CoqPL 2017 (International Workshop on Coq for PL) was chaired by Sandrine Blazy and Emilio Jesus Gallego Arias

Member of the Conference Program Committees

• TASE 2017 (Symposium on Theoretical Aspects of Software Engineering): Alan Schmitt

• Web Programming 2018: Alan Schmitt

• ProWeb 2018: Alan Schmitt

• CC 2017 (Conference on Compiler Construction) : David Pichardie

• ESORICS 2017 (European Symposium on Research in Computer Security) : David Pichardie

• ESOP 2017 (European Symposium on Programming) : David Pichardie

• CC 2018 (Conference on Compiler Construction) : David Pichardie

• CoqPL 2017 (International Workshop on Coq for PL) : Sandrine Blazy

• AFADL 2017 (Approches Formelles dans l'Assistance au Développement de Logiciels) : Sandrine Blazy

• SRC (Student Research Competition) @ PLDI 2017 : Sandrine Blazy

• VSTTE 2017 (Verified Software: Theories, Tools, and Experiments) : Sandrine Blazy

• GPCE 2017 (Generative Programming: Concepts & Experiences) : Sandrine Blazy

• IFL 2017 (International symposium on Implementation and application of Functional Languages) : Sandrine Blazy

• TFP 2017 (Trends in Functional Programming) : Sandrine Blazy

• CPP 2018 (ACM SIGPLAN Conference on Certified Programs and Proofs) : Sandrine Blazy

• Euro S&P 2018 (IEEE European Symposium on Security and Privacy) : Sandrine Blazy

• TACAS 2017 (Tools and Algorithms for the Construction and Analysis of Software : Thomas Jensen.

• FCS 2017 (Int. workshop on Foundations of Computer Security) : Thomas Jensen.

• SAS 2017 (Static Analysis Symposium) : Thomas Jensen.

Reviewer

• POPL 2018 (Symposium on Principles of Programming Languages): Alan Schmitt

Journal

Reviewer - Reviewing Activities

• Information & Computation: Alan Schmitt

• Science of Computer Programming: Alan Schmitt

• Discrete Mathematics & Theoretical Computer: Alan Schmitt

• Theoretical Computer Science: Alan Schmitt

• Journal of Logical and Algebraic Methods in Programming: Alan Schmitt

• ACM Transactions on Privacy and Security (TOPS): David Pichardie

Invited Talks

• Delphine Demange: "On-the-Fly Garbage Collection: An Exercise in Compiler Verification". Inria Scientific Days 2017. June 2017.

• Thomas Genet: "SPAN+AVISPA for Verifying Cryptographic Protocols". RESSI (Rendez-vous de la recherche et de l'enseignement de la sécurité des systèmes d'information), Grenoble, May 2017 [42].

• Thomas Genet: "Tree Automata for Reachability in Rewriting". International School on Rewriting, Eindhoven, July 2017. http://www.win.tue.nl/~hzantema/isr.html.

• Thomas Jensen: Formal methods for software security, Forum Méthodes Formelles, Toulouse, France, Jan. 2017 [21].

• Thomas Jensen: Formal methods for software security, Journée inaugurale GDR Sécurité Informatique, Paris, June 2017 [22].

• Thomas Jensen. Hybrid information flow analysis against web tracking.. The 12th International Conference on Risks and Security of Internet and Systems (CRiSIS 2017), Dinard, France, Sept. 2017 [23].

Scientific Expertise

• Sandrine Blazy: expertise of an ERC Advanced Grant research proposal.

• Thomas Jensen is Inria representative in the European Cyber Security Organisation (ECSO) working group in Research and Innovation.

Research Administration

• Sandrine Blazy is member of Section 6 of the national committee for scientific research CoNRS.

• Sandrine Blazy is coordinator of the LTP (Languages, Types, Proofs) group of the French GDR GPL.

• Thomas Jensen is head of the NUMERIC department at Université Bretagne Loire.

• Thomas Jensen is director of the IT Security track and member of the executive board of the Laboratoire d'excellence “CominLabs”.