La Traviata à Fontainebleau

Je suis allé cet après-midi à une représentation de la Traviata de Verdi au Théâtre de Fontainebleau. C’est bien pratique de pouvoir assister à des spectacles dans un théâtre de proximité. J’ai passé un très bon moment.

Sherbrooke

L’Université de Sherbrooke m’a fait l’honneur de renouveler mon mandat de professeur associé au Département d’Informatique pour la période 2025-2028. Merci aux collègues de la Faculté des Sciences pour leur confiance !

Présentation de B/Event-B à GT-Verif

J’ai participé ce matin aux Journées annuelles du GT Verif à la Maison des sciences et de l’environnement de l’UPEC, sur le campus de Créteil. Ma présentation était une introduction générale à B et Event-B, deux approches formelles que j’utilise régulièrement dans le cadre de mes activités de recherche. Un grand merci aux organisateurs pour l’invitation à ce GT, ainsi qu’aux participants pour leur écoute et pour leurs questions !

De retour d’Italie

Je suis de retour d’Italie où j’ai passé quelques jours de vacances à Milan et en Toscane. Comme à chaque fois, c’est un plaisir de retrouver la famille et les amis italiens. Malheureusement, on a eu aussi une mauvaise nouvelle avec la disparition de notre cousin Valerio alors qu’on était sur place. Dans l’ensemble, ce séjour s’est bien passé, on a hâte d’y retourner…