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

6 novembre 2025 Laisser un commentaire

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 !

Classé dans Conférences, Nouvelles, Opinion

Journée recherche de l’IUT

1 juillet 2025 Laisser un commentaire

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 !

Classé dans Conférences, Département INFO, Nouvelles

À Créteil ces derniers jours

19 janvier 2024 Laisser un commentaire

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.

Classé dans Conférences, Nouvelles, Opinion

Au Japon pour un séminaire de recherche

11 novembre 2023 Laisser un commentaire

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…

Classé dans Conférences, Faits divers, Nouvelles

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 !

Classé dans Conférences, Nouvelles

Journée portes ouvertes 2023 à l’IUT

1 février 2023 Laisser un commentaire

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.

Classé dans Conférences, Département INFO, Salons/forums orientation

Forum post-bac 2023

20 janvier 2023 Laisser un commentaire

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.

Classé dans Conférences, Département INFO, Salons/forums orientation

Visite de mon ancien directeur de thèse

29 octobre 2022 Laisser un commentaire

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 !

Classé dans Conférences, Nouvelles, Opinion

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

28 juin 2022 Laisser un commentaire

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.

Classé dans Conférences, Département INFO, Nouvelles

Enfin une JPO en présentiel !

12 mars 2022 Laisser un commentaire

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 !

Classé dans Conférences, Département INFO, Salons/forums orientation

← Articles précédents