Section: Dissemination

Promoting Scientific Activities

Scientific Events: Organisation

Member of the Organizing Committees

Deducteam has organized the kick off meeting of Logipedia on 21-23 January 2019 in Cachan.

Frédéric Blanqui and Olivier Hermant organized the 11th International School on Rewriting (ISR) in Paris on 1-6 July 2019. The school offered to 37 participants from 8 countries, 69 hours of lectures in two parallel sessions, given by 15 lecturers from 6 countries.

Valentin Blot co-organized the Facets of realizability workshop on 1-3 July 2019, bringing together 22 researchers from 6 countries.

Frédéric Blanqui is Workshop Chair of the ACM/IEEE Symposium on Logic in Computer Science (LICS).

Scientific Events: Selection

Member of the Conference Program Committees

Gilles Dowek has been a member of the program committee of the Nasa Formal Methods Symposium (NFM'19) and Interactive Theorem Proving (ITP'19).

Frédéric Blanqui has been member of the program committee of the 16th International Colloquium on Theoretical Aspects of Computing (ICTAC'19), the 6th Workshop on Proof eXchange for Theorem Proving (PxTP'19), and of Large Mathematical Libraries (LML'19).

Valentin Blot was a member of the program committee for the french conference “Journées Francophones des Langages Applicatifs” 2020.

Reviewer

Guillaume Burel reviewed articles submitted to PxTP'19 and LOPSTR'19.

Valentin Blot reviewed articles submitted to LICS'19.

Bruno Barras reviewed an article submitted to CSL'20.

Journal

Reviewer - Reviewing Activities

Guillaume Burel reviewed an article for Logical Methods in Computer Science.

Bruno Barras reviewed articles submitted to the Annals of Mathematics and Artificial Intelligence and Mathematical Structures in Computer Science

Invited Talks

Gilles Dowek has been invited to the meeting Big proofs in Edinburgh, where he has given a talk on Logipedia.

Gilles Dowek has participated to the meeting of the Proof society in Swansea where he has given a talk on Logipedia.

Gilles Dowek has given talk on Logipedia in Lille, Strasbourg, Beijing, Rio de Janeiro, and in the virtual "Laboratoire International de Recherche en Informatique et Mathématiques Appliquées".

Frédéric Blanqui gave talks at Gunma University (Japan) and Tohoku University (Japan).

Guillaume Genestier gave a seminar at the logic group of Chalmers University (Sweden).

Valentin Blot gave an invited talk at a realizability workshop on 18-20 September 2019 in Marseille, and a talk at the IRIF semantics working group.

Leadership within the Scientific Community

Frédéric Blanqui is member of the Steering Committees of LICS, TYPES and ISR.

Scientific Expertise

Bruno Barras reviewed a research proposal submitted to the Dutch National Research Organization (NWO).

Research Administration

Frédéric Blanqui is co-director of the pole 4 of the doctoral school STIC of the University Paris-Saclay.

Frédéric Blanqui is member of the committee of the doctoral school of the ENS Paris-Saclay.

Frédéric Blanqui is in charge of following PhD students at LSV.