Section: Dissemination

Promoting Scientific Activities

Scientific Events: Selection

Chair of Conference Program Committees

• A. Mahboubi has served as co-PC chair of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP'19).

• A. Mahboubi has served as co-chair of the CoqPL'20 workshop, satellite of POPL'20.

Member of the Conference Program Committees

• P.-M. Pédrot has been a member of the program committee of the Coq Workshop'19 and JFLA'20.

• N. Tabareau has been a member of the program committee of FSCD'19 and POPL'19.

• G. Munch-Maccagnoni has been a member of the external review committee for ICFP'19 conference, and a member of the program committees for the workshops SD'19 (affiliated with FSCD) and LOLA'19 (affilitated with LICS).

• A. Mahboubi has been a member of the program commitee of the ITP'19, Frocos'19 and CPP'20 international conferences, and of the TFP'19 workshop.

• G. Jaber has been a member of the program committee of the Student Research Competition of POPL'20.

Reviewer

• P.-M. Pédrot has served as an external reviewer for CPP'19, FoSSaCS'19, ICFP'19 and LICS'19.

• N. Tabareau has served as an external reviewer for LICS'19, CPP'19.

• G. Munch-Maccagnoni has served as an external reviewer for FoSSaCS'20.

• G. Jaber has served as an external reviewer for CONCUR'19, ITP'19, FoSSaCS'19 and POPL'20.

Journal

Member of the Editorial Boards

• A. Mahboubi is a member of the editorial board of the Journal of Automated Reasoning.

• A. Mahboubi is co-editing the post-proceedings of the TYPES 2019 conference.

Reviewer - Reviewing Activities

• N. Tabareau has been a reviewer for Mathematical Strucutre in Computer Science.

Invited Talks

• P.-M. Pédrot gave a 3 hour long invited class on effectful types theories at the JFLA 2019.

• N. Tabareau has given an invited talk at Coq Workshop 2019 in Portland, Oregon.

• G. Munch-Maccagnoni gave a talk at ITU Copenhaguen in July and a talk at the seminar of philosophy in computer science Codes Sources in Paris in June.

• A. Mahboubi has given an invited talk repectively at the MPC'19, CiE'19, Cade'19 and Types'19 international conferences, at the PxTP'19 international workshop and at the Codes Sources seminar.

Leadership within the Scientific Community

• N. Tabareau is a member of the scientific committee of the GdR of Algebraic Topology.

• A. Mahboubi is a member of the core managment group of the EUTypes project, and leader of the “Tools” working group.

• A. Mahboubi is a member of the steering committee of the ITP conference.

• A. Mahboubi is a member of the scientific committee of the GdR “Informatique Mathématique”.