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.

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


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”.