Une information qui n'a rien à voir avec le cours mais que je vous transmets via Moodle : 3 conférences sont proposées prochainement par des chercheurs du LaBRI pour les étudiant.e.s de L2/L3 Info & MI sur des sujets en informatique fondamentale (IF) ou vérification logicielle (VL).
Elles auront lieu au RC du A30, soit en amphi du LaBRI soit en face de cet amphi (salle 076).
N'hésitez pas à venir si ça vous intéresse et si vous êtes libres.
* 6/4, 12h-13h : Vincent Delecroix.
Titre : "De l'aléatoire pour de meilleurs algorithmes”
* 12/4, 14h-15h : Vincent Penelle.
Titre : “Transformations régulières”
* 13/4, 12h-13h : Frantisek Kardos.
Titre : "Propriétés combinatoires des graphes fullerènes"