Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Doctorat: Enrico Tassi organized an advanced school on Coq and the Mathematical Components library, where Laurence Rideau, Cyril Cohen, Laurent Théry, and Yves Bertot gave lectures and supervised laboratory sessions. This school took place in December and had about 20 attendants.

• Licence: Sophie Bernard gave 54 hours of lectures on probabilities at University of Nice Sophia Antipolis.

• Licence: Damien Rouhling taught about 60 hours at University Nice Sophia Antipolis: differential calculus, Fourier analysis, and C programming (First year students).

• Master: Yves Bertot organized a school on Coq in January, Boris Djalal and Damien Rouhling supervised the lab sessions.

• Master: Laurent Théry taught 3 hours on "introduction to computer verified proof" at Ecole des Mines de Paris,

• Licence: Boris Djalal taught 4 hours of computer science for first year students in a "classe préparatoire aux grandes écoles".

• Licence: Cécile Baritel-Ruet taught 30 hours of computer science for first year students at Université de Nice, and some lectures on computer science history.

• Licence: Cyril Cohen prepares students for oral examination in a "classe préparatoire aux grandes écoles".

Supervision

• Yves Bertot and Cyril Cohen supervised Boris Djalal, whose doctoral thesis was defended on December 3rd.

• Yves Bertot and Cyril Cohen supervise the doctoral thesis of Damien rouhling.

• Yves Bertot and Laurence Rideau supervise the doctoral thesis of Sophie Bernard.

• Yves Bertot and Benjamin Grégoire supervise the doctoral thesis of Cécile Baritel-Ruet.

Juries

Enrico Tassi was a member of the Thesis jury for Andrea Gabrielli, in October at the University of Florence, Italy.

Yves Bertot was a member of the Thesis jury for Guillaume Davy, in December at the University of Toulouse and the Institut Supérieur d'Aéronautique et de l'Espace, France.