Section: Dissemination

Popularization

• Marie Duflot-Kremer took part in various popularization activities, with a public ranging from primary school kids to high school and potential University students. A selection of these activities is given below:

  • two days at “Fête de la science” in Nancy;

  • a course on databases for high school professors in charge of teaching optional course ISN (Informatique et Sciences du Numérique);

  • her explanations of unplugged activities have been recorded by Inria, and a Youtube channel has been created by the Interstice team to promote and share such activities;

  • she is a member of two groups dedicated to the training of math teachers who will teach computer science to students of age 11 to 18;

  • “Journée femmes de Sciences”: one day dedicated to the promotion of science among 14 years old girls;

  • she is a member of the steering committee preparing an itinerant exposition intended for explaining computer science to the public, to be released in 2016;

  • she presented a poster at the Scratch2015 conference about teaching computer programming to kids from the age of 8 years onward.

• Pascal Fontaine and Stephan Merz illustrated techniques that underly formal verification of protocols and algorithms at events like “Fête de la Science”. Using wooden puzzles and Sudoku sheets, they explained how real-life problems can be represented in logical form and then solved using automated tools based on formal logic.

• Martin Quinson organized a 2-days workshop for secondary math teachers on how algorithms could be used to reinforce the abilities of pupils to verbalize, set out arguments and conduct rigorous demonstrations (Nancy, March 2-3 2015). This workshop was co-organized by the IREM (Institut de Recherche en Enseignement des Mathématiques) of Nancy. He also co-organized a one day workshop for about 100 secondary computer science teachers. This event spreads the best practices to teach our topic (Nancy, March 12th 2015). Martin Quinson was a scientific expert in an experiment in which we explored how Scratch can be used to teach Computer Science in after school activities every week for the whole week. The results of this experiment, conducted in a collaboration between Inria and the MJC Nomade (Nancy) were published in [35] .

• Christoph Weidenbach lectured within the series “Perspektiven der Informatik” at Saarland University and within the public lecture series of the federal state of Saarland.