La recherche en méthodes formelles, pour les 30 années à venir Résumé d'une présentation de Gilles Dowek, conférencier invité à NASA Formal Methods 2018 dans Programmation et algorithmique et Autres (informatique) Lundi 14 mai 2018 à 13h25 14/05/18 à 13h25 par Ksass`Peuk méthodes formelles
Causerie++ - Episode 4 C++, OO et Alan Kay dans Programmation et algorithmique Lundi 08 avril 2019 à 07h19 08/04/19 à 07h19 par Ksass`Peuk et mehdidou99 c++
