Section: Dissemination

Popularization

Internal or external Inria responsibilities

S. Boldo is the scientific head for Saclay for the MECSI group for networking about computer science popularization inside Inria.

She was also responsible (with M. Quet of the SCM) for the 2018 “Fête de la science” on October 11th 2018. About 260 teenagers were welcomed on 8 activities ranging from unplugged activities with Duplo construction toys to programming, and from applied mathematics to theoretical computer science.

Interventions

• S. Boldo animated an activity at the Inria “Fête de la science” on October 11th 2018 the whole day long.

• S. Boldo animated an activity and gave talks at the LRI “Fête de la science” on October 12th 2018.

• S. Boldo gave a talk during at a Girls can code week on August 31st 2018 in Paris.

• S. Boldo will give a talk to about 180 teenagers at the Marie Curie high school in Sceaux on February 8th, 2019

• J.-C. Filliâtre gave a talk at Mathematical Summer in Paris on July 16, 2018.

• J.-C. Filliâtre gave a talk Parcours d'un informaticien at the seminar “Info Pour Tous” (high school and undergraduate students). Video on YouTube. http://seminairespourtous.ens.fr/ipt

• S. Dailler and C. Marché gave a demonstration of the SPARK environment, at the DigiHall Day (May 22 2018 https://www.irt-systemx.fr/evenements/digihall-2018/). DigiHall is a cluster of digital technologies of Paris-Saclay. More than 800 industrial and institutional decision-makers and academic counterparts took part in this first-of-its-kind event.

• C. Marché presented the joint laboratory ProofInUse at the LabCom Colloquium (Maison de la Chimie, Paris, Sep. 27 2018 http://ptolemee.com/colloque-labcom/index.html) organized by ANR, with participation of numerous actors from both academia and industry.

Internal action

• S. Boldo demonstrated popularization by an unplugged activity to all the new Inria staff at the welcome days on June 7th 2018

• S. Boldo animated an unplugged activity to the AER service (team assistants) on July 3rd 2018

• S. Boldo trained colleagues on unplugged activities for the “Fête de la science” (5 sessions of about 1h30)

• S. Dailler and C. Marché gave a presentation of the joint laboratory ProofInUse, together with a demonstration of the SPARK environment, at the Software Day of the DigiCosme Labex (Saclay, June 7 2018 https://digicosme.lri.fr/tiki-read_article.php?articleId=256)

Creation of media or tools for science outreach

• S. Boldo is supervising the popularization mission of C. Patte (M3DISIM team) in order to create a new popularization activity for teenagers in 2019.

• C. Marché, main contributor of the site for the Why3 tool inside the Inria Saclay Virtual Showroom. Includes a short video introduction of Why3 for beginners using the TryWhy3 Web interface http://why3.lri.fr/try/