Séminaires et Colloques
OMeGA
- Conférences passées :
-
Nous sommes ravis d'annoncer la 17e Conférence internationale sur l'évolution artificielle (EA 2026), qui se tiendra à Nice, en France, en octobre 2026.
EA est une conférence à but non lucratif qui rassemble des chercheurs travaillant dans les domaines suivants :
- le calcul évolutif
- l'optimisation et les métaheuristiques
- l'apprentissage automatique
- les systèmes complexes et l'intelligence artificielle
Cette édition mettra particulièrement en avant l'intersection passionnante entre les métaheuristiques et l'apprentissage automatique, un domaine de recherche en pleine expansion.
Nous encourageons vivement la participation en présentiel afin de favoriser les interactions scientifiques, les discussions et la collaboration.
Les articles acceptés seront publiés dans les actes de la conférence, et une sélection d'entre eux sera invitée à figurer dans la prestigieuse série Springer LNCS.
Plus d'informations : https://ea2026.inria.fr/ -
Nous avons le plaisir d’annoncer l’organisation de l’université d’été 2026 sur les métaheuristiques hybrides associées à des approches d’apprentissage, qui se tiendra du 29 juin au 2 juillet 2026 à l’Université de Haute-Alsace (France).
Ce programme intensif de quatre jours explorera les méthodes d’optimisation modernes à la croisée de l’intelligence artificielle, de la recherche opérationnelle et de la science des données.
De nombreux problèmes d’optimisation concrets — rencontrés dans la logistique, les systèmes énergétiques, les transports et les soins de santé — sont de grande envergure, non linéaires et soumis à de nombreuses contraintes. Pour relever ces défis, les chercheurs s’appuient de plus en plus sur des approches hybrides combinant l’optimisation mathématique, les métaheuristiques et l’apprentissage automatique.
Qu’apprendront les participants ?
• Modélisation mathématique et méthodes d’optimisation exacte (MILP, Gurobi)
• Métaheuristiques et algorithmes approximatifs
• Apprentissage automatique pour l’optimisation basée sur les données
• Modèles de substitution pour les problèmes nécessitant des calculs intensifs
• Hyper-heuristiques pour la sélection et la génération d’algorithmes
Les participants travailleront sur une étude de cas pratique portant sur la planification de la recharge des véhicules électriques (EVCS), illustrant comment les approches hybrides d’IA peuvent relever les nouveaux défis en matière de mobilité durable et de systèmes énergétiques.
Défi final :
Le dernier jour, les participants prendront part à un défi pratique d’optimisation basé sur le problème EVCS.
Trois prix seront décernés aux solutions les plus performantes.
En Salle 201 Bâtiment K, FST, 18 rue des Frères Lumière, Mulhouse
-
Le transport optimal barycentrique consiste à transporter une mesure μ vers une mesure ν en ne payant, pour chaque point, que la distance à son barycentre d’arrivée. Dans cet exposé, je m’intéresserai à ce problème sur les espaces à courbure majorée. Je commencerai par quelques rappels sur ces espaces (triangles minces) et sur le transport barycentrique, en particulier le théorème de structure de Gozlan et Juillet. Je présenterai ensuite des résultats récents, obtenus avec Shin-ichi Ohta et Nathael Gozlan, qui étendent (partiellement) ce théorème à ces espaces courbes.
-
Hypocoercive methods allow to prove the longtime convergence of the law of degenerate stochastic processes such as Langevin dynamics or random time HMC. From a technical viewpoint, these approaches usually involve a change of scalar product (as in the H^1 approach à la Villani, or the L^2 approach of Hérau and Dolbeault/Mouhot/Schmeiser). I will discuss two approaches which do not require such a change of scalar product, and henceforth provide the current sharpest quantitative estimates on the resolvent of the generator, which makes it possible for instance to bound the variance of estimators based on time averages along a realization of the process. The first approach, originally due to Armstrong/Mourrat, was adapted to dynamics on the whole space by Cao/Lu/Wang, and is based on space-time Poincare inequalities. I will review some progress made with Giovanni Brigati on better understanding the algebraic structures behind this method, and possibly mention extensions to weak/weighted Poincaré inequalities (in collaboration with Lihan Wang and Andi Wang). The second approach, developed with Etienne Bernard, Max Fathi and Antoine Levitt, is based on Schur complements and provides direct bounds on the resolvent using the specific saddle-point like structure of the generator under an appropriate orthogonal decomposition of L^2.
-
TBA
-
TBA
-
TBA
- Conférences passées :
-
C*-algebra theory is often touted as “non-commutative topology”, although making this precise has proved challenging. The starting point is the classic Gelfand duality, which says that every commutative C*-algebra is isomorphic to a C*-algebra of continuous functions, specifically on some locally compact Hausdorff space. What then would be an analogous “non-commutative space” for non-commutative C*-algebras? Renault’s answer is to consider étale groupoids, which do indeed give rise to non-commutative C*-algebras of continuous functions under convolution. Building on earlier work of Kumjian, he was even able to extend the classic Gelfand duality under an extra “effective” assumption on the groupoids. The past decade or so has seen various extensions of this result, although some residual assumptions on the groupoid have remained. In recent work with Ying-Fen Lin, Kathryn McCormick and Lisa Orloff Clark, we were able to completely remove the effective assumption and even extend Renault’s duality to more general completions of convolution algebras. In this talk we will outline how to achieve this, including all the relevant background on étale groupoids and their C*-algebras.
-
Afin d’étudier la fonction zéta,L.Euler introduit en 1775 les valeurs zétas multiples (MZVs) comme une généralisation à plusieurs variables définie sur l’ensemble des mots sur l’alphabet N^∗. Depuis, ces fonctions apparaissent dans des domaines variés des mathématiques : en arithmétique géométrique, en théorie des nombres ou encore en théorie quantique des champs. Par conséquent, leurs études peut se faire en utilisant des approches assez différentes comme l’analyse complexe, l’intégration motivique ou encore d’autres techniques algébriques. Parmi les motivations principales, la détermination des relations rationnelles entre les MZVs de même poids a des répercussions en physique théorique. Selon une conjecture de Hoffman dans les années 90, ces relations sont déterminées par des relations dites de double mélange régularisée.
Dans cet exposé, nous nous concentrerons sur une autre généralisation des MZVs initialement introduite par J. Ecalle en 1981 puis mise en évidence par D. Manchon en 2016 : les valeurs zétas arborifiées (AZVs).
Tout d’abord, après une introduction historique aux MZVs, nous détaillerons l’importance des représentations intégrales et en séries de quantités (elles donnent lieu respectivement à des morphismes de mélange et quasi-mélange pour les mots) et leur connexion via l’application s dite de Kontsevich. Cela nous permettra de formuler la première conjecture de Hoffman.
Puis, nous introduirons les AZVs comme des applications associant à des arbres décorés de manière appropriée un nombre réel pouvant être exprimé via une représentation intégrale ou en série. En utilisant des techniques algébriques utilisant les algèbres dendriformes, nous décrirons une notion de mélange et quasi-mélange d’arbres ainsi qu’un analogue de l’application
de Kontsevich. Tout cela, nous permet de donenr une conjecture de double mélange régularisée
sur les AZVs impliquant celle de Hoffman pour les MZVs classiques.
(Travail en collaboration avec P. Clavier et K-Y. Fan) -
In the talk I will give a gentle historical introduction to several topics that served as a motivation for the study of analysis and stochastic analysis on the space of probability measures over a closed Riemannian manifold.
The talk will touch on motivations from conservative parabolic pdes, metric measure geometry, the representation theory of large Lie groups, and the physics of systems at the mesoscopic scale. If time allows, I will review the state of the art about constructions of the Brownian motion on spaces of probability measures. -
(8 octobre 2026 - 15:00) — Antoine Lejay (Univ. Nancy) — Autour du théorème de Butcher pour les méthodes de Runge-Kutta
-
The study of ship stability under random sea states is an important problem in naval engineering. In this talk, we focus on the roll motion of a ship subjected to beam seas and random wave excitation. We consider a nonlinear stochastic model describing the ship roll dynamics, coupled with filtered random excitation. The resulting dynamics can be described by a high-dimensional Fokker–Planck equation. We develop a second-order asymptotic approach to approximate its solution and investigate the long-time behavior of the corresponding stochastic system. Particular attention will be paid to the mathematical structure of the model and the asymptotic analysis of the probability density. Some numerical aspects related to the solution of the Fokker–Planck equation will also be briefly discussed. The objective is to provide a mathematical and computational framework for studying ship responses under random sea conditions and their implications for ship stability.
-
Il est habituel de présenter les résultats d’un championnat sportif sous la forme d’un tableau où figure sur une des colonnes le nombre de victoires par équipe. Lorsque n équipes se sont toutes affrontées, ce vecteur peut devenir (0,1,\ldots,n-1) pour un championat hiérarchisé à l’extrême, ou bien au contraire un vecteur dont les composantes sont d'avantage ramassées autour de (n-1)/2. Un théorème de E. Landau, généralisé par Moon, exprime une condition nécessaire et suffisante à être ce vecteur, ceci à l’aide de l’ordre partiel de la « majoration ». Alors que cette condition se traduit facilement en terme d’espérance conditionnelle, c’est seulement récemment en 2022 qu’une démonstration probabiliste du théorème de Moon a été proposée par Aldous et Kolesnik. Dans cette démonstration les auteurs s’appuient sur une image, celle d’un modèle statistique « du football ». Notre travail, avec Gaoyue Guo (Paris Saclay) et Wenpin Tang (Columbia University), a consisté à envisager cette démonstration dans le cadre d’un problème de transport martingale afin de la rendre plus tangible et de d'obtenir de nouvelles propriétés.
-
Il existe plusieurs notions de borne de courbure de Ricci pour les graphes et les groupes. Y. Ollivier a proposé une approche via le transport optimal à la Lott-Villani-Sturm. D. Bakry et M. Emery ont proposé une autre approche via la théorie des diffusions et la formule de Bochner en géométrie riemmanienne. Le but de l’exposé sera de montrer, via cette deuxième approche, comment donner des versions discrètes de résultats classiques en analyse sur les variétés (Bisoop-Gromov, Li-Yau, Harnack, Poincaré, …).
-
Optimal stopping theory, developed through seminal works of Dynkin, Shiryaev, and others, is a fundamental topic in probability, stochastic control, and mathematical finance. Classical approaches typically rely on dynamic programming principles and the Snell envelope, which characterize the value function through backward recursive procedures. While these methods provide a powerful theoretical framework, alternative computational approaches have also been investigated.
In this talk, I will first review some classical optimal stopping problems and discuss Irle’s forward algorithm for finite-state Markov processes. In contrast to traditional backward methods, Irle’s approach constructs the value function through a forward iterative procedure, leading to an efficient computational framework and new insights into the structure of optimal stopping problems.
Motivated by these ideas, I will then consider a two-player zero-sum stopping game driven by a homogeneous Markov process on a finite state space. Such games extend optimal stopping problems to a setting with competing players and strategic interactions. I will present a new algorithm for computing the value function of the game, which can be viewed as a game-theoretic extension of Irle’s forward algorithm. The convergence of the method, the number of iterations required, and several numerical examples illustrating its performance will also be discussed. -
The problem of estimating the maximal number H(m) of limit cycles that planar polynomial vector fields of degree m can exhibit has long been a central question in the qualitative theory of planar dynamical systems. A natural extension to the threedimensional space is to study the maximum number N(m) of limit tori that can occur in spatial polynomial vector fields of degree m. In this work, we focus on normally hyperbolic limit tori and show that the corresponding maximum number N_h(m), if finite, increases strictly with m. More precisely, we prove that N_h(m+1) ⩾ N_h(m)+ 1. Our proof relies on two central results established in this paper. The first is that the normal
hyperbolicity of compact invariant manifolds is preserved under time reparametrizations.Despite the fundamental nature of this statement, a complete proof has, surprisingly, not previously appeared in the literature, except under rather restrictive assumptions on the flow restricted to the invariant manifold. The second result concerns the torus bifurcation phenomenon near Hopf–Zero equilibria in spatial vector fields. While the conditions for such bifurcations are typically expressed in terms of higher-order normal form coefficients, we derive explicit and verifiable criteria for the occurrence of torus bifurcation, assuming only that the linear part of the unperturbed vector field is in Jordan normal form.
This approach not only circumvents intricate computations involving higher-order normal forms but also ensures the normal hyperbolicity of the bifurcated torus.
-
The area of stochastic partial differential equations has seen rapid progress over the past decade, spurred by the introduction of the theory of regularity structures and of para-controlled calculus. Despite the close connections of singular SPDEs to physical phenomena, the theory of singular SPDEs has largely been developed homogeneous settings, involving constant-coefficient operators.First I shall motivate the study of SPDEs in heterogeneous environments using the examples of Φ^4 as a model of ferromagnetism and the parabolic Anderson model as it relates to branching processes.After recalling the renormalisation of the classical homogeneous versions of these equations, I will describe what changes in the variable-coefficient setting. In particular, I will present a natural choice of renormalisation functions that is local and, for sufficiently covariant regularisations of the noise, explicit.The talk will be non-technical and focused on the main ideas.
-
In this talk, we consider a compact hyperbolic surface with finite order singularities and its unit tangent bundle.
We consider also the twisted Selberg zeta function associated with an arbitrary, finite-dimensional representation of the fundamental group of the unit tangent bundle.
We will present recent results concerning a relation between the twisted Selberg zeta function and the regularized determinant of the twisted Laplacian. The main tool we use is the Selberg trace formula. If the surface has no finite order singularities, we obtain as a corollary a corresponding relation. These results can be viewed as an extension to the non-unitary twists case of the results by Sarnak and Naud. This is joint work with Jay Jorgenson and Lejla Smajlovic. -
Given a germ of analytic vector field ∂, let ∂= ∂_ss + ∂_nilp be its unique formal Jordan decomposition, where ∂_ss is its semi-simple component and ∂_nilp is its nilpotent component. When ∂ is logarithmic, we define the Bruno ideal B(∂) as the formal locus where the semi-simple and the nilpotent components are collinear, that is, the vanishing locus of ∂_ss ∧ ∂_nilp.
We prove the following result originally stated by A. D. Bruno: If the eigenvalues of ∂_ss satisfy an arithmetic condition, then B(∂) is analytic and the restriction of ∂ to its zero set V is analytically normalizable.
This is a joint work with Daniel Panazzolo. -
Une triangulation d’un ensemble de points dans le plan euclidien est dite de Delaunay si chaque cercle circonscrit à un triangle ne contient aucun autre sommet de la triangulation. Son extension à des surfaces, ainsi que certains algorithmes permettant de la calculer, se heurte à des difficultés topologiques (genre de la surface) et géométriques (systole de la surface).
Cet exposé introduira la notion de triangulation de Delaunay, et présentera des méthodes de calcul permettant de la calculer comme l’algorithme de flip ou de Bowyer-Watson. Nous nous focaliserons ensuite sur ce-dernier, en l’étendant d’abord au tore, puis aux surfaces hyperboliques, en passant par la surface de Bolza. Aucun prérequis en géométrie hyperbolique, topologie ou algorithmique n’est nécessaire pour suivre l’exposé. -
In this talk I will report on a recent joint work with Chiara Esposito and Michael Heins on convergence properties of Drinfel’d twists. A formal Drinfel’d twist is a formal power series in \(hbar\) with entries in the tensor power of the universal enveloping algebra of a Lie algebra with itself such that certain algebraic conditions are satisfied. These algebraic properties can either be interpreted as defining an associative formal product on the corresponding Lie group by left translations. Alternatively, they can be used to define formal associative deformations of any algebra on which the Lie algebra acts by derivations by a universal deformation formula (UDF). We study now the situation of locally convex algebras and consider the space of $R$-analytic and \(R\)-entire vectors with respect to the representation. These spaces are generalizations of the usual analytic and entire vector depending now on a parameter $R$ which controls the growth of their Taylor coefficients. Once the twist satisfies a certain continuity condition we show that one obtains convergence of the UDF thus leading to a non-formal deformation. Several examples illustrate that this is a promising and rich scenario to obtain convergence deformations.
-
Après un bref rappel historique sur les B-séries, nous introduirons le cadre catégorique naturel à leur étude.Nous verrons ensuite que certaines techniques classiques d’algèbre supérieure fournissent des résultats d’analyse numérique via ce contexte catégorique.
-
Invariant compact manifolds, such as equilibria, periodic orbits, and invariant tori, provide important information about the dynamics of differential systems. This knowledge is significantly increased when we can describe the behavior of nearby trajectories. In this talk, we present conditions that ensure the existence of invariant tori in perturbed differential systems, along with results on their regularity, stability, and dynamics. These conditions are based on higher-order averaged equations and extend classical theorems by Krylov, Bogoliubov, Mitropolsky, and Hale. As an application, we also explore a three-dimensional version of Hilbert’s 16th Problem, focusing on the number of isolated invariant tori in 3D polynomial vector fields.
Analyse
- Conférences passées :
-
Le département de maths accueille le chercheur Lorenzo Dello Schiavo de l'Università degli Studi di Roma “Tor Vergata” sur poste rouge du CNRS du 1er octobre au 30 novembre. A cette occasion Lorenzo fera une série de mini-cours intitulés Analytical methods for Markov processes : Dirichlet forms, dans le cadre du groupe de travail
"Théorie Géométrique des équations paraboliques
semi-linéaires et applications"
(pour plus d'informations : https://irimas.math.cnrs.fr/groupe-parabolique/ )
IMTIS
-
(Du 15 novembre 2026 au 20 novembre 2026) — Stéphane Bazeille — Applications de la robotique industrielle aux processus de laboratoire Journées thématiques SMART MICROSCOPY du Réseau Technique -microscopie fonctionnelle multimodale, Centre CNRS Paul Langevin Aussois
-
(Du 15 novembre 2026 au 20 novembre 2026) — O. Haeberlé — Introduction à la programmation évènementielle et au pilotage parallélisé Journées thématiques SMART MICROSCOPY du Réseau Technique -microscopie fonctionnelle multimodale, Centre CNRS Paul Langevin Aussois
- Conférences passées :
-
(Du 1 novembre 2026 au 6 novembre 2026) — O. Haeberlé — Conferencier invité à la conférence Computational Optical Microscopy Bad Honnef, Allemagne
-
Les chercheurs de l’IRIMAS (IMTIS, UHA) ont participé à un atelier scientifique organisé par l’Institut européen de recherche sur l’énergie (EIFER) à Karlsruhe, en Allemagne, aux côtés de partenaires d’EDF et du Karlsruhe Institute of Technology (KIT).
Cet atelier a permis de faire le point sur l’avancement des travaux de recherche de Thomas Debarre, doctorant, de discuter des prochaines étapes de ses travaux de thèse et d’échanger sur les défis actuels des systèmes énergétiques.
Le programme scientifique comprenait des présentations et des discussions autour de plusieurs thématiques de recherche :
- Intégration des énergies renouvelables : dernières évolutions réglementaires en Allemagne, présentées par l’EIFER.
- Planification des réseaux électriques : projets RAPSODI et PLANET, avec un accent particulier sur la planification à long terme des réseaux électriques, présentés par EDF.
- Résilience de l’approvisionnement énergétique : sécurité de l’approvisionnement en électricité et en gaz dans des conditions météorologiques extrêmes, présentée par le KIT.
De notre côté, nous avons présenté nos travaux expérimentaux en cours sur l’intégration du photovoltaïque (PV), l’autoconsommation énergétique et la recharge intelligente des véhicules électriques (VE), illustrant la mise en œuvre de stratégies intelligentes de gestion de l’énergie.
Cet atelier a renforcé les échanges scientifiques entre l’IRIMAS, l’EIFER, EDF et le KIT, tout en permettant d’identifier de nouvelles perspectives de collaboration autour de la planification, de la résilience et de la gestion intelligente des systèmes énergétiques de demain. -
How can photovoltaics be integrated into vineyards while addressing the climate challenges facing viticulture? This is one of the key issues at the heart of the Interreg Upper Rhine Agri-PV project, whose French, German and Swiss partners gathered for an initial meeting at the Ebenrain-Zentrum für Landwirtschaft, Natur und Ernährung in Sissach, Switzerland.
The partners visited one of the project’s pilot sites, where they were able to observe agrivoltaic installations in the field and discuss their implementation under real-world conditions.
The IRIMAS/IMTIS team was represented by Djaffar Ould Abdeslam, Titouan Sérandour, Bruno Colicchio, Mathieu Galinier and Bushra Canaan.
This first meeting marks an important milestone in launching the project’s scientific and technical activities and strengthening cross-border cooperation in renewable energy and sustainable agriculture. -
(août 2026) — O. Haeberlé — TOP 2% de Stanford (Authors Career) https://elsevier.digitalcommonsdata.com/datasets/btchxktzyw/9
-
09h30 – 10h00
Soumen Indu
Titre : Gestion intelligente de la surveillance de la consommation d'énergie à l'IUTLab à l'aide de techniques d'apprentissage automatique
Encadrant : Patrice Wira
10h00 – 10h30
Mbarek Oulghazi
Titre : Trames de Gabor non stationnaires quiltées : vers des représentations temps-fréquence adaptatives et inversibles
Encadrant : Ali Moukadem
10 h 30 – 11 h 00
Muhammad Sami Ur Rasul
Titre : Les fibres comme motifs de test de résolution optique pour l’évaluation par nanoscopie sans marquage
Encadrant : Olivier Haeberlé -
10 h 00 – 10 h 30
Baptiste Hubner
Titre : Localisation parcimonieuse de particules en microscopie
Encadrant : Jean-Baptiste Courbot
10 h 30 – 11 h 00
Abdeljalil El Boughdadi
Titre : Analyse et modélisation d’une maison intelligente réelle pour la création d’une base de données dédiée à la détection d’anomalies et à la surveillance flexible de la charge
Encadrant : Djaffar Ould Abdeslam
11 h 00 – 11 h 30
Raza Hassan
Titre : Étalonnage de caméra pour l’estimation de la profondeur à partir de plusieurs vues
Encadrant : Stéphane Bazeille -
(11 juin 2026 - 18:30 a 20:00) — Stéphane Bazeille — Comment les robots perçoivent-ils le monde ? UP du Rhin, salle de conférences de la Cour des chaînes, 13 rue des Franciscains 68100 – Mulhouse
-
(4 juin 2026 - 15:00) — Salem Ait Messaoud — Simulation et édition de défauts par 3d Gaussian Splatting IUT Mulhouse, salle A004
-
(21 mai 2026 - 14:00) — Titouan Sérandour — Un modèle d’apprentissage profond pour la détection des nébuleuses planétaires sur des images astronomiques IUT Mulhouse, Salle A004
-
-
(2 avril 2026 - 14:00) — Julie Munsch — Modèles graphiques et probabilistes pour la maintenance prédictive application à la classification et à la prévention d’évènements IUT Mulhouse, Salle A004
-
(19 mars 2026 - 14:00) — Carlos Alberto Chacon — Microscopie tomographique diffractive à double vue IUT Mulhouse, Salle A004
-
(5 mars 2026 - 14:00) — Simon Schabat — Segmentation des chromosomes dans des images de microscopie à fluorescence IUT Mulhouse, Salle A004