Internship presentations

Abstract

As last time, we are continuing the introduction of the various new arrivals from earlier this summer. This week we will have a self-introduction by Nathan Le Guillou working on UML and Langium interoperability, Romain Debreu working on the security of package managers, and Olivier Henry working on algorithm proofs.