Participation
in the spring 2023 mathematics school by giving a presentation on game
theory as part of the program synthesis (slides,
in French).
The Cigales Mathematics School is aimed at girls in 2nd year of high
school to develop the attractiveness of mathematics and computer
science among young girls. For five days, high school girl students
discover mathematics and computer science by solving mathematical or
computer science problems and meeting mathematicians and computer
women scientists during conferences.
Preparation of an activity for primary school pupils to introduce
formal verification. The activity's objective is to find treasure
hidden by pirates using text descriptions of several possible islands.
This activity is divided into three sub-activities (which can be
carried out independently):
modelling: produce a graph for each of the possible islands from
a textual description of each of the islands;
verification: find the island where the treasure is hidden using
the textual information from the pirate who hid the treasure;
introduction to logic: encode/decode the pirate's textual
indications.
The material produced during this work is available here.
Animation of unplugged activities around computer science in primary
classes with Hippolyte
Bourel
(2016 - 2017 - ENS Rennes)
Presentation
of computer science concepts to primary school students without using
computers. On this occasion, we presented two activities:
The mired city activity based on the book Computer
Science Unplugged of Tim Bell, Ian H. Witten and Mike
Fellow. It introduces the spanning tree problem of a graph. The
students aim to pave a city in such a way that one can always
reach a house via a paved path (weights in the graph of the city
are given by the number of paving stones on the paths) using as
few paving stones as possible.
Documents (in French) for the activity; sheet
teacher, a
city.;
The Picture activity based on the work of IREM
de Clermont-Férrand. It introduces the coding of a
monochromatic image in a computer with the notion of pixel and
sequence of pixels. In this activity, the picture is coded by a
series of integers indicating the number of white pixels and then
the number of black pixels. Students draw a given coded picture
before producing their own coded pictures.
