Section: Dissemination

Promoting Scientific Activities

Scientific Events: Organisation

Member of the Organizing Committees

Alexis Saurin, as coordinator of GT-Scalp is member of the organizing committee of the annual meeting of the working group. In 2019, the annual meeting took place in ENS Lyon in October 2019: https://www.irif.fr/gt-scalp/journees-2019.

Member of the Steering Committees

Pierre-Louis Curien is member of the steering committee of the international workshop Games for Logic and Programming Languages (GaLop).

Scientific Events: Selection

Member of the Conference Program Committees

Pierre-Louis Curien is member of the program committee of Formal Structures for Computation and Deduction 2020, Paris, June-July 2020.

Yann Régis-Gianas was member of the program committee of Software Language Engineering 2019.

Alexis Saurin was a member of the program committee of Circularity in Syntax and Semantics, held in Gothenbug in November 2019.

Journal

Member of the Editorial Boards

Pierre-Louis Curien is editor in chief of the Cambridge University Press journal Mathematical Structures in Computer Science (since January 2016). Alexis Saurin is a guest editor of the special issue of MSCS on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday published in September 2019.

Reviewer - Reviewing Activities

Pierre Letouzey has done several reviews for the Journal of Functional Programming (JFP) and for Science of Computer Programming. Yann Régis-Gianas reviewed a paper for Transactions on Programming Languages and Systems (TOPLAS).

Invited Talks

Hugo Herbelin gave an invited talk on the logical structure of choice and bar induction principles at the Proof, Computation and Complexity workshop (Mittag-Leffler institute). Yann Régis-Gianas gave an invited talk at the DeepSpec workshop of PLDI 2019 about FreeSpec.

Conferences and schools attended

Pierre-Louis Curien presented his joint work on Proofs and surfaces at the conference Topology, Algebra, and Categories in Logic (TACL) 2019, Nice, in June 2019.

Pierre-Louis Curien and Yves Guiraud attended the workshop Homotopy meets homology, Dublin, May 2019.

Pierre-Louis Curien and Yves Guiraud attended the Higher Structures conference, Marseille, January 2019.

Pierre-Louis Curien and Cédric Ho Thanh attended the Category Theory 2019 conference, Edinburgh, July 2019.

Pierre-Louis Curien attended Martin Hofmann Memorial Meeting, Munich, July 2019.

Abhishek De attended the Proof Society summer school at Swansea in September 2019.

Cédric Ho Thanh attended the Summer school on Topology, Algebra, and Categories in Logic at Ile de Porquerolles in June 2019.

Hugo Herbelin and Hugo Moeneclaey attended the Types Conference, Oslo, June 2019.

Hugo Moeneclaey attended the International Conference on Homotopy Type Theory (HoTT 2019) and the associated Homotopy Type Theory Summer School, Pittsburgh, August 2019.

Hugo Herbelin attended the Third Workshop on Mathematical Logic and its Applications, Nancy, March 2019.

Hugo Herbelin attended the Workshop Facets of Realizability, Cachan, July 2019.

Leadership within the Scientific Community

Scientific Expertise

Hugo Herbelin was a member of the HCERES committee evaluating the MICS laboratory of Centrale Supelec.

Research Administration

Pierre-Louis Curien has been a member of the Scientific Council of the CIRM (Centre International de Rencontres Mathématiques) until February 2019.

Pierre-Louis Curien was a member of the scientific council of the Computer Science department of University Paris Diderot until May 2019.

Yves Guiraud was the coordinator of the Proofs, Programs and Systems (PPS) pole at IRIF, and a member of the IRIF comité de direction, until August 2019. Since September 2019, Hugo Herbelin coordinates the PPS pole.

Yves Guiraud was a member of the Conseil Scientifique of the CS department of Univ. Paris Diderot until June 2019.

Yves Guiraud is a member of the Conseil Scientifique of the Math department of Univ. Paris Diderot since April 2019.

Alexis Saurin is a coordinator of the Scalp working group of GDR Informatique Mathématique: https://www.irif.fr/gt-scalp/index

Alexis Saurin is member of the “commission recherche” of both Faculté des Sciences and Faculté Société et humanités at Université de Paris.

Alexis Saurin and Hugo Herbelin are members of the IRIF conseil de laboratoire.