Logique, calculabilité, typage – jeudi 16/5/2024
Ce stage présentera le contenu du cours Logique et Fondements de l'Informatique en lien avec la filière MPI des classes préparatoires.
Introduction à la sécurité matérielle – mardi 21/5/2024
Les menaces les plus connues exploitent des vulnérabilités logicielles. Moins célèbres sont celles qui ciblent le matériel électronique.
Introduction au calcul stochastique et à la théorie des erreurs – vendredi 24/5/2024
Construction du mouvement brownien et genèse de la première équation dite de Langevin.
Introduction à l’algorithmique des graphes – mercredi 29/5/2024
[inscription à venir sur liesse.minesparis.psl.eu]