Enseignant-chercheur en informatique à l'UPEC
30 juin 2026 Laisser un commentaire
Je participe aujourd’hui à la traditionnelle Journée de la recherche de l’IUT Sénart Fontainebleau. Comme chaque année, c’est l’occasion de mieux connaître les travaux de recherche des collègues de l’IUT. Souvent méconnue du grand public, la recherche est une activité importante des enseignants-chercheurs. Ce type de journée permet de valoriser ce travail auprès de la communauté universitaire et des partenaires de l’IUT.
18 juin 2026 Laisser un commentaire
J’ai eu le plaisir de recevoir aujourd’hui mon collègue Marc Frappier de l’Université de Sherbrooke sur le campus de Fontainebleau. De passage en région parisienne cette semaine, nous avons pu avancer sur les dernières corrections d’un article qui sera bientôt soumis par notre étudiant au doctorat à une conférence internationale sur les méthodes formelles.
16 juin 2026 Laisser un commentaire
Je viens de participer avec mon collègue Julien Cervelle au colloque en hommage à Egon Boerger au département d’informatique de l’Université de Pise. Ce chercheur a contribué à l’utilisation des méthodes logiques en informatique et il a été un des créateurs du langage ASM. Au-delà des présentations scientifiques, il était intéressant de constater la diversité des contributions qui ont été impactées par les travaux d’Egon Boerger.
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 !
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 !
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.
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…
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 !
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.
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.
Frédéric GERVAIS 