Explore projects

Premier devoir maison du cours de Calcul Formel (Computer Algebra) donnée par Guillaume Hanrot et Stéphan Thomassé au M1IF.

Devoir maison du cours Systèmes et Vérification donné par Colin Riba en M1IF.

Notes prises en 2019-2020 du cours dep-9331

Cours d'Anna Ben-Hamou. Inférence de graphe, M2A

Course notes of Russ Harmer's and Angela Bonifati's Graph-based Knowledge Representation course.

Course notes of Damien Stehlé and Guillaume Hanrot's Cryptanalysis course.

Course notes of Colin Riba's and Pierre Clairambault's Advanced Semantics course.

Course notes of Rémi Watrigant's and Édouard Bonnet's Parameterized and Exact Algorithms course.

Notes du cours de Déduction Automatique et Algorithmes Distribués de Sébastien Tixeuil et Xavier Urbain.

Page du cours : https://perso.liris.cnrs.fr/xavier.urbain/ens/m2ensl.html

Course notes of Loris Marchal's and Olivier Beaumont's Data-Aware Algorithms course.

Shared lecture notes of CS M1 lectures, year 2014-2015

My lecture notes of CS M2 lectures, year 2015-2016

Notes du cours de Virtualisation d'Alain Tchana.

Course notes of Colin Riba's and Pierre Clairambault's Advanced Semantics course.