Nouvel article dans la conférence ABZ 2023
1 juin 2023 Laisser un commentaire

Je participe actuellement à la conférence internationale de recherche ABZ 2023 au LORIA à Nancy pour y présenter un nouvel article écrit en collaboration avec mon collègue Julien Cervelle. Il s’agit d’une contribution concernant le plugin Theory de la plateforme RODIN au sujet d’une théorie permettant de prendre en considération des fonctions définies récursivement, ainsi que les preuves associées. C’est toujours un plaisir de retrouver la communauté du langage B, et plus généralement, des méthodes formelles !