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 !

Journée recherche de l’IUT

L’IUT Sénart Fontainebleau organise aujourd’hui sa traditionnelle Journée de la recherche. Cette réunion annuelle est l’occasion pour les collègues de l’IUT de mieux connaître les activités de recherche des uns et des autres. Elle permet également de valoriser cette activité auprès des partenaires de l’IUT. Un grand merci à tous les participants !

À Créteil ces derniers jours

J’étais à Créteil une bonne partie de la semaine. En particulier, j’ai participé jeudi et vendredi à la réunion du projet ANR EBRP à la Maison des Sciences et de l’Environnement. C’était la première réunion d’équipe en présentiel depuis la fin de la crise sanitaire. J’ai terminé la semaine avec la cérémonie des vœux de l’UPEC au palais des sports de Créteil.

Au Japon pour un séminaire de recherche

Je suis arrivé à Tokyo au Japon avec mon collègue Marc Frappier pour participer cette semaine à un séminaire de recherche sur les théories de domaine dans le cadre des méthodes formelles, puis à une journée thématique sur B au National Institute of Informatics (NII). Ce sera l’occasion de rencontrer des chercheurs dans cette thématique et dans cette méthode formelle, cela correspond parfaitement à mes sujets de recherche du moment. Je vais profiter de la journée de dimanche pour essayer de récupérer les 13h50 de vol et les 14h de décalage horaire entre Montréal et Tokyo…

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 !

Journée portes ouvertes 2023 à l’IUT

A vos agendas : la prochaine journée portes ouvertes (JPO) de l’IUT Sénart Fontainebleau aura lieu le samedi 11 février 2023 sur les campus de Sénart et de Fontainebleau. Pour plus d’informations, voir ici.

Forum post-bac 2023

Le Forum post-bac organisé par le CIO de Fontainebleau-Avon aura lieu ce samedi 21 janvier 2023, de 9h à 13h, sur le campus de Fontainebleau de l’IUT Sénart Fontainebleau. C’est le moment idéal pour découvrir l’offre de formation de l’enseignement supérieur. Notre département informatique de l’IUT sera présent pour vous renseigner sur le BUT informatique.

Visite de mon ancien directeur de thèse

Mon ancien directeur de thèse québécois, Marc Frappier, était ces derniers jours en séjour de recherche en région parisienne. Avec la crise sanitaire, cela faisait longtemps que je n’avais pas eu l’occasion de travailler avec lui. Sa visite m’a rappelé de nombreux bons souvenirs de l’époque où j’étais étudiant au doctorat. Alors que les réunions de lundi et mardi derniers concernaient nos thématiques de recherche, nous avons profité de ce samedi ensoleillé pour se balader à Paris, avant son voyage de retour au Québec. Un grand merci Marc pour cette visite ! A tantôt !

Une journée recherche en l’honneur de notre collègue

La journée recherche de l’IUT a eu lieu cette année ce mardi 28 juin 2022. Elle était dédiée à notre collègue du département informatique, Patrick Cégielski, qui partira à la retraite dans quelques jours. De nombreux chercheurs sont venus spécialement pour l’occasion afin de présenter des travaux réalisés en commun et d’évoquer la carrière de Patrick.

Enfin une JPO en présentiel !

Entre Sénart le matin et Fontainebleau l’après-midi, c’était une journée portes ouvertes bien chargée. Mais quel plaisir de pouvoir revoir – enfin – les candidats en présentiel ! Un grand merci aux collègues, aux étudiants et aux diplômés qui étaient présents aujourd’hui pour répondre aux nombreuses questions des visiteurs !