Section: Dissemination

Popularization

• A. Charguéraud and S. Boldo contributed to the preparation of the exercises of the Concours Castor informatique http://castor-informatique.fr/ . A. Charguéraud is also one of the three organizers of this contest. The purpose of the Concours Castor in to introduce pupils (from CM1 to Terminale) to computer sciences. More than 345,000 teenagers played with the interactive exercises in November 2015.

• C. Marché, together with J. Kanig from AdaCore company, wrote an article in the ERCIM news journal [17] to advertise on the work done in the ProofInUse joint laboratory for the popularization of formal methods in the development of safety-critical Ada programs.

• S. Boldo, with T. Vieville (Mnemosyne team, Inria Bordeaux - Sud-Ouest), F. Masseglia (Zenith team, Inria Sophia Antipolis - Méditerranée and P. Bernhard (INRA) wrote a text about the TIPE 2016 (personal work before the competitive entrance in engineering schools). The topic was “Structures: organization, complexity, dynamic”. This was published on the popularization website http://pixees.fr [31] .

• S. Boldo co-organized popularization talks for the administrative staff of Inria Saclay - Île-de-France. She gave a talk on January 29th about a scientific article [21] and led a coding session (with Scratch) on February 12th with A. Imperiale (M3DISIM team).

• S. Boldo co-organized the coming of teenagers from the collège Flemming in Orsay to the laboratory on May 28th and gave talks to several groups all day long.

• S. Boldo co-organized the Inria Saclay - Île-de-France Fête de la science. She created two stands (about programming) and run one on October 9th.

• S. Boldo gave a talk to the winners of the Mathematics Olympiads on June 10th in Rocquencourt.

• S. Boldo gave a talk at the “Girls can code” week on August 27th, in Paris.

• S. Boldo gave a talk to high school teenagers in Angers on October 12th.

• S. Boldo gave a talk to “Classes Préparatoires” at l'Essouriau, Les Ulis on September 24th.

• S. Boldo gave a talk at “Futur en Seine” a popularization festival in Paris and Paris area, in Orsay, on June 18th.

• C. Paulin together with I. Glas from labex DigiCosme is proposing an introduction to computer science (various activities on programming, data representation, algorithms during 6 sessions of 1 hour) as an extracurricular activity in schools for pupils in CM1-CM2.

• C. Paulin organised in 2015 the third edition of the Concours ISN of the Labex DigiCosme, supported by the Rectorat de l'Académie de Versailles. Selected projects developed by the high school pupils (Terminale) as part of their curricula in Computer Science are submitted to this contest. The best projects are selected and presented during a general event.

• C. Paulin, I. Glas, and A. Paskevich run a stand (introduction to information technologies and programming) during the “Fête de la science” Île-de-France on October 9 and 10.