Nouvel article dans la conférence ABZ 2023

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 !

Formation pour le CSA

Et c’est parti pour 3 jours de formation sur le campus Boulle de Créteil dans le cadre du CSA de l’université ! Au programme : le contexte règlementaire des nouvelles instances de CSA et de FS-SSCT, leur fonctionnement et leurs missions, la prévention des risques et les outils comme les registres santé et sécurité, ainsi que le document unique d’évaluation des risques professionnels.

Quelques jours dans le Val de Loire

Je suis de retour du Val de Loire où j’ai passé quelques jours. Après un début de semaine gâché par une mauvaise nouvelle (décès dans la famille), je me suis changé les idées en visitant quelques châteaux de la Loire. Nous avons eu de la chance avec le temps. Un bon moment de détente et de déconnexion passé en famille !

Découverte de la Cité de l’Histoire

Hier, je suis allé pour la première fois à la Cité de l’Histoire, située sous la Grande Arche du quartier de la Défense. C’est un nouvel espace dédié à l’histoire qui a ouvert ses portes en janvier 2023. Il y a 3 animations : le parcours immersif « La Clef des Siècles », la frise chronologique « Le Couloir du Temps » et une projection en ellipse 360° « Hugo, l’Homme Révolutions ». J’ai beaucoup aimé La Clef des Siècles, on y découvre différentes périodes de l’histoire à travers des tableaux animés, avec parfois un comédien. La scène avec l’instituteur dans une ancienne classe d’école est particulièrement bien réussie. Les deux autres animations sont intéressantes, mais elles mériteraient d’être plus travaillées. La librairie vaut également le détour. Pour une première expérience, c’est une belle découverte, j’espère que les animations seront maintenues au même niveau de qualité dans la durée.

Week-end à Dieppe

Je suis de retour de Dieppe où j’ai passé un week-end « nostalgie ». On a eu de la chance, on n’a pas eu trop de pluie, ni de vent (pas idéal avec mon problème actuel d’aphonie). Cela m’a rappelé plein de souvenirs de mon enfance quand j’allais en Normandie avec ma grand-mère… Un grand merci à ma sœur pour ce beau cadeau !

D’où vient ma détermination ?

On m’a demandé récemment d’où venait ma détermination ? Tous mes proches vous le diront, quand j’ai une idée en tête, il est difficile que je baisse les bras devant les défis à surmonter. C’est probablement un mélange entre ma curiosité, ma volonté de défendre des justes causes et une recherche de la vérité. Dans ma famille du côté italien, mon arrière grand-père vivait à une époque compliquée dans un environnement plutôt instable. C’était un petit artisan, plus précisément un tailleur de vêtements. Entre les menaces régulières de la mafia, des groupes zélés de communistes et des fascistes en chemises noires, mon arrière grand-père n’a jamais cédé aux intimidations et aux humiliations en tout genre. On a menacé sa famille, on l’a passé à tabac et on a endommagé son atelier et ses outils de travail à de nombreuses reprises, et pourtant il n’a jamais fait la moindre concession. Difficile de comparer entre deux époques incomparables, mais j’aime à penser que j’ai un peu hérité de ce caractère de résilience. Et c’est peut-être un peu pour cela aussi que, lorsque je défends une cause qui me semble juste, rien ni personne ne peut m’arrêter…

Exposition sur Ramsès II

Ce matin je suis allé voir la très belle exposition sur Ramsès II à la Grande Halle de la Villette à Paris. La scénographie est moderne avec des séquences vidéo et de belles pièces exposées. Le clou de la visite est le cercueil de Ramsès II. Une expérience émouvante qui nous fait retourner dans le passé, dans la grande civilisation égyptienne des pharaons.

Pas besoin d’aller très loin

Pourquoi aller très loin, alors qu’on a un très beau château dans sa propre ville ? Aujourd’hui, je suis retourné au château de Fontainebleau. Je me promène déjà régulièrement dans le parc et les jardins, mais cet après-midi j’ai fait la visite classique des appartements. A l’occasion du 150ème anniversaire de la mort de Napoléon III, le circuit est agrémenté cette année de vues stéréoscopiques et de costumes dessinés comme à l’époque. Malgré mes nombreuses visites, c’est toujours un plaisir de redécouvrir le château de Fontainebleau !

Résultat CRCT CNU

Je suis très honoré d’apprendre ce matin que le CNU (conseil national des universités) m’a attribué un semestre de CRCT. Mon congé pour recherches débutera en septembre 2023. Merci à la communauté de la section 27 (informatique) !

Quelques jours dans le Nord

Après une période d’enseignement bien chargée, j’ai pris quelques jours de congés cette semaine, avec comme destination cette fois-ci, le Nord de la France : Roubaix, Lille, Lens et Arras. Parmi mes visites préférées pendant ce court séjour, il y a l’étonnant musée La Piscine à Roubaix. J’ai bien aimé déambuler sur la Grand’place de Lille et dans le quartier du Vieux-Lille. Le Musée de l’Hospice Comtesse n’est pas très impressionnant, mais il mérite une visite. Je suis également allé découvrir le Louvre-Lens : si la Galerie du temps est originale et surprenante dans sa conception, je n’ai pas adhéré au concept architectural consistant à placer un bloc de béton et de verre au milieu de nulle part. La belle ville d’Arras a été la dernière étape du voyage. La visite guidée de la Carrière Wellington est émouvante et particulièrement bien conçue ; elle permet de se souvenir d’un moment tragique de la Première Guerre Mondiale, la Bataille d’Arras d’avril 1917.