Actualité

Yoann Dieudonné et Stéphane Devismes (domaine ALCO) et Arnaud Labourel (LIS, Aix-Marseille université), ont publié leurs travaux dans l'édition 2026 de la conférence STOC - The 58th ACM Symposium on Theory of Computing. Cette conférence est unanimement reconnue comme la plus prestigieuse en informatique théorique. L'édition 2026 a d'ailleurs battu un record historique avec 752 soumissions.

Sous la direction de Chu-Min Li (OCIA), l’équipe a obtenu une victoire éclatante lors de la SAT Competition 2025. Ce succès s’inscrit dans la lignée des médailles d’or remportées en 2009, 2017 et 2022, témoignant ainsi de l’impact significatif des Grands Modèles de Langage (LLM) dans l’optimisation des algorithmes les plus complexes.

Le Problème SAT : Un Défi Fondamental
Le problème de la Satisfiabilité (SAT) est le premier problème à avoir été prouvé NP-complet, le plaçant au cœur de l'informatique théorique, des mathématiques, de l'intelligence artificielle et du génie logiciel.

Le MIS organise sa première demi-journée dédiée à l’Intelligence Artificielle, un événement co-porté par l’axe IA et le domaine OCIA, qui se tiendra le jeudi 4 décembre 2025, à partir de 14h, en salle 315 à UniLaSalle (14 quai de la Somme, Amiens).

Cet événement a pour objectif de mettre en lumière les travaux menés au sein du laboratoire autour de l’IA, de favoriser les échanges scientifiques et de valoriser les recherches des doctorants et chercheurs du MIS.

Une nouvelle représentation sphérique frugale en vision à 360 degrés pour la robotique

06 octobre 2025

Résultat scientifique

Bilan de la ROADEF 2024

Le Journal du CNRS fait un focus sur Friends, un robot humanoïde d’aide à la personne, dans un entretien avec Guillaume Caron, Maître de Conférence dans l'équipe PR et actuellement directeur adjoint du Joint robotics laboratory (JRL) à Tsukuba, au Japon

Lire l'entretien sur https://lejournal.cnrs.fr/articles/friends-le-robot-qui-sadapte-en-un-clin-doeil

Corinne Vasseur (équipe GOC) intervient le 30 novembre 2023 dans le cadre du colloque interdisciplinaire L’arbre, le buisson et la toile organisé par Catherine Grall (Laboratoire CERCLL UR UPJV 4283) à l'Institut Faire Faces.

Présentation du colloque :

Dans son article de la revue de vulgarisation "Pour la Science" du mois de septembre, "Parcourir l'infini avec des robots", Jean-Paul Delahaye (professeur émérite à l’université de Lille) et chercheur au laboratoire Cristal détaille des problèmes algorithmiques autour des robots explorateurs. Il revient notamment sur plusieurs algorithmes pour essaims de robots, dont certains co-écrits par Stéphane Devismes (SDMA) en collaboration avec Quentin Bramas et Arthur Rauch (Université de Strasbourg) et Pascal Lafourcade (Université de Clermont-Ferrand Auvergne ).

Florence Levé a été invitée à présenter ses travaux lors des Journées d'Informatique Musicale, organisées à Paris Nord du 24 au 26 mai 2023.

https://jim2023.sciencesconf.org/resource/page/id/8

Geoffrey Defalque, étudiant en Master 2 et stagiaire dans l'équipe SDMA, a obtenu le prix du meilleur article étudiant lors de la conférence ALGOTEL 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications pour l'article intitulé "Pour battre à l'unisson, il faut que tous les chemins viennent de Rome"

https://coresalgotel2023.i3s.univ-cotedazur.fr