Section: Dissemination

Promoting Scientific Activities

Scientific Events Organization

Guillaume Burel has been local organizer of the scientific days of the CNRS GDR GPL working groups LTP and MTV2.

Scientific Events Selection

Frédéric Blanqui has been PC chair of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'18) with Giselle Reis.

Frédéric Blanqui is Workshop Chair of LICS and member of the Steering Committee of LICS.

Frédéric Blanqui is member of the Steering Committee of the International School on Rewriting (ISR) of the WG 1.6 of the International Federation for Information Processing.

Gilles Dowek has been a PC member of TYPES 2018.

Guillaume Burel has been PC member of the 30th Journées Francophones des Langages Applicatifs.

Guillaume Burel has reviewed a submission for the International Conference on Principles and Practice of Constraint Programming (CP). Guillaume Genestier reviewed submissions to the conferences Logic in Computer Science (LICS), Principles and Practice of Declarative Programming (PPDP) and European Symposium on Programming (ESOP).

Journals

Gilles Dowek is an editor of TCS-C.

Frédéric Blanqui has reviewed a paper for Mathematical Structures in Computer Science (MSCS). Guillaume Burel has reviewed papers for the Computer Journal and Logical Methods in Computer Science (LMCS). Rodolphe Lepigre has reviewed a paper for International Conference on Foundations of Software Science and Computation Structures (FoSSaCS). Rodolphe Lepigre has reviewed a paper for the journal ACM Transactions on Programming Languages and Systems (TOPLAS). Franck Slama has reviewed a paper for the Journal of Functional Programming.

Invited Talks

• Rodolphe Lepigre gave an invited talk entitled “The PML Language: Realizability at the Service of Program Proofs” at the Realizability Workshop (12-13 June 2018) in Luminy.

• Rodolphe Lepigre gave an invited talk entitled “An Overview of the PML${}_2$ Language: Realizability, Subtyping and Cyclic Proofs” at LRI, for the starting days of the new Scalp working group of GDR IM. This is a presentation of his paper  [32].

• Gilles Dowek has given an invited talk at NFM (Nasa Formal Methods).

• Jean-Pierre Jouannaud has given an invited talk at the workshop "Rewriting Techniques for Program Transformation and Evaluation" at FLoC, on July 8, 2018.

Seminars

• Gilles Dowek has participated to the meeting "From Information to Cells" organized by Hélène Kirchner and Antoine Danchin. He has given a talk at the National Institute of Aerospace.

• Gilles Dowek has co-organized a seminar on Logic and Philosophy at the CNFHPST.

• Guillaume Burel has presented a talk entitled “Bridging holes on Dedukti proofs, an overview” at the scientific day of the Digicosme working group UPSCaLe.

• Bruno Barras has given a talk entitled “An analysis of bindlib” at the UPSCaLe meeting (June'18) held in Palaiseau.

• Mohamed Yacine EL HADDAD has presented his work at internal laboratory seminar of LSV (June'18) and SAMOVAR (November'18).

• Gaspard Férey has presented his work at internal laboratory seminar of LSV (June'18).

• Guillaume Genestier has presented his work at the internal laboratory seminar of Centre de Recherche en Informatique of Mines ParisTech (February'18) and LSV (June'18) and presented Dedukti at the doctoral seminar of La Société Informatique de France (June'18). He presented [16] in the WorkShop on Termination (WST) at Oxford (July'18).

• Rodolphe Lepigre has presented his work on "Termination checking using well-founded typing derivations" at a Deducteam seminar in September 2018.

• Rodolphe Lepigre has given a talk entitled “The PML${}_2$ Language, Integrated Program Verification in ML” at the Max Planck Institute for Software Systems in Saarbrücken, in November 2018.

• Franck Slama has presented some previous work at an internal laboratory seminar of LSV in December 2017.

• François Thiré has presented his work on interoperability at the UPSCaLe seminar on March 2018, then he presented his paper [15] at the LFMT Workshop at Oxford (July'17).

• Aristomenis Papadopoulos has presented the work he did during his summer internship at a Deducteam seminar in September 2018.

Leadership within the scientific community

Gilles Dowek is president of the scientific board of the Socitété informatique de France.

He is a member of the Ethic council CERNA.

He is a member of the Comité National Français d’Histoire et de Philosophie des Sciences et des techniques.

He is a member of the scientific board of La Main à la pâte.

He is a member of the scientific board of the Institut Villebon Charpak.

He is a member of the scientific board of the Maison des sciences de Lorraine.

He is the president of the Board of teacher school (ESPE) of the University of Lorraine.

He is a member of the scientific board of SystemX.

He is a member of the scientific board of the team Humanités numériques at the Collège des Bernardins.

Gilles Dowek and Jean-Pierre Jouannaud are honorary members of IFIP-WG1.6.

Jean-Pierre Jouannaud is a permanent member of the visiting committee of Academia Sinica, Taiwan.

Scientific Expertise

Frédéric Blanqui reviewed a project for the Netherlands Organization for Scientific Research (NWO).