Le LAMA
Unité Mixte de Recherche 5127 CNRS — Université Savoie Mont Blanc
Membre du pôle MSTIC
Membre de la fédération de recherche MARA
Institut des Mathématiques pour la Planète Terre
Charte éco-responsable votée le 5 Décembre 2019 en Assemblée Générale
Highlights
Sébastien Tavenas, spécialiste en complexité algorithmique, est chargé de recherche CNRS au Laboratoire de Mathématiques (LAMA) de l’université Savoie Mont Blanc et va recevoir la prestigieuse médaille de bronze du CNRS en 2025. Une distinction qui récompense l’excellence scientifique et l’impact de ses travaux en informatique fondamentale.
Une reconnaissance du travail accompli
Sébastien Tavenas exprime sa fierté et son honneur de recevoir la médaille de bronze du CNRS :
« Je suis bien évidemment très content et honoré de cette récompense. Je pense que l’image que les gens ont du mathématicien est celle de quelqu’un qui travaille tout seul dans son bureau. Mais mes travaux de recherche sont tous en collaboration avec d’autres chercheurs. Donc même si la médaille est à mon nom, le travail est en fait vraiment collectif. »
Il espère que cette distinction contribuera à mieux faire connaître en France les thématiques de la complexité algorithmique, un domaine passionnant mais relativement peu représenté.
Un parcours entre mathématiques, informatique et ouverture internationale
Après une classe préparatoire en mathématiques à Grenoble, Sébastien Tavenas intègre l’École Normale Supérieure de Lyon en informatique en 2007. Lors de son Master 1, il part à Calgary (Canada) pour un semestre d’études et un stage, puis revient en France pour préparer l’agrégation de mathématiques. Il complète son Master 2 en Logique Mathématique et Fondements de l’Informatique à l’Université Paris VII, avec un stage à l’université de Montréal (Canada) supervisé par Pierre McKenzie.
De 2011 à 2014, il réalise sa thèse à l’ENS Lyon, sous la direction de Pascal Koiran et Natacha Portier. Intitulée “Bornes inférieures et supérieures dans les circuits arithmétiques”, elle porte sur les limites théoriques de ce type de circuits — des modèles mathématiques qui représentent la manière dont un ordinateur effectue des calculs.
Après son doctorat, Sébastien Tavenas effectue un post-doctorat de six mois à l’Institut Max Planck à Sarrebruck (Allemagne), suivi de 18 mois au Microsoft Research Lab India à Bangalore (Inde). C’est au cours de cette période qu’il découvre vraiment le travail de chercheur, un domaine qui l’attire particulièrement :
« J’aime le fait d’essayer de comprendre les mécanismes sous-jacents derrière les questions d’informatique fondamentale. »
Le LAMA : un laboratoire au carrefour des disciplines
En 2016, il rejoint le LAMA en tant que chargé de recherche CNRS, où il peut pleinement combiner mathématiques et informatique dans ses travaux. Son parcours, qui navigue entre ces deux disciplines, a en effet trouvé un écho particulier au LAMA, notamment grâce aux travaux de Frédéric Bihan sur la théorie des fewnomials en géométrie réelle, un domaine en lien direct avec les questions mathématiques abordées lors de sa thèse.
Comprendre les limites de calcul efficaces
Le cœur des recherches de Sébastien Tavenas porte sur la complexité algorithmique, c’est-à-dire sur la question : “Quels problèmes peuvent être résolus efficacement par un ordinateur ?”. Certains problèmes sont tout simplement impossibles à résoudre par un ordinateur, comme le “problème de l’arrêt”, qui consiste à déterminer au préalable si un programme va finir ou tourner indéfiniment. Mais même parmi les problèmes théoriquement résolvables, certains nécessitent un très long temps de calcul. Par exemple, il est facile de vérifier si une solution proposée à un sudoku est correcte (même sur une grille de 100 par 100), mais trouver cette solution peut demander énormément de temps.
Ce type de question est au cœur de l’informatique théorique, qui cherche à classer les problèmes selon leur difficulté. La classe P regroupe ceux qu’on sait résoudre efficacement, tandis que la classe NP contient ceux dont on peut vérifier facilement une solution, sans forcément savoir la trouver rapidement. Comprendre les relations entre ces classes – en particulier savoir si P = NP – reste l’un des plus grands défis scientifiques actuels.
Dans ce cadre, la complexité arithmétique s’intéresse à la difficulté de calculer certaines expressions mathématiques. Sébastien Tavenas travaille tout particulièrement sur des problèmes fondamentaux, comme le calcul du déterminant d’une matrice, qu’il cherche à démontrer comme impossible à réaliser rapidement lorsque les opérations de base autorisées sont restreintes. Ses recherches approfondissent la compréhension des polynômes, expressions composées de variables et de coefficients, et ont d’ores et déjà révélé que les solutions réelles de ces polynômes ont des formes géométriques bien spécifiques.
En savoir plus
Médaille de bronze pour Sébastien Tavenas face à la complexité algébrique, actualité publiée dans le cadre de sa médaille de bronze du CNRS (16/06/2025)
L’une des grandes conjectures de la complexité arithmétique en partie dénouée, actualité publiée à l'occasion de son Best paper Award lors d’un symposium sur les fondem
Latest News
Soutenance de thèse de Noura AL AKKARI le lundi 22 septembre 2025 à 14h en salle 103 à Polytech. Elle s'intitule "Décomposition empirique supervisée des signaux temporels de consommation électrique".
C’est avec une immense satisfaction que nous annonçons la parution de la troisième édition de notre ouvrage "Introduction à la logique : théorie de la démonstration", aux éditions Dunod.
Paru pour la première fois en 2001, ce livre a rencontré un vif succès et a accompagné, depuis plus de vingt ans, de nombreux étudiants, enseignants et chercheurs dans leur formation en logique mathématique. Son intérêt et sa pertinence lui ont permis de rester disponible sans interruption pendant un quart de siècle.
Cette nouvelle édition propose quelques compléments et ajustements, abordant certaines notions absentes des versions précédentes, afin de mieux répondre aux besoins de l’enseignement et de la recherche.
Les nombreux encouragements et témoignages reçus au fil des années nous ont convaincus de proposer cette réédition.
Le livre sera disponible dès le 10/09/2025 sur le site de Dunod : https://www.dunod.com/sciences-techniques/introduction-logique-theorie-demonstration-1
Soutenance HDR de Jimmy Garnier le 4 juin à 14h à l'amphi du Pole Montage, intitulée " Reaction-dispersion models in ecology and evolution: Adaptation to changing environment"
Résumé :
During my defense, I will explain how my research bridges applied mathematics and theoretical ecology by exploring and developing mathematical models based on Partial Differential Equations (PDEs), integro-differential equations, and stochastic processes, to gain insights into ecological and evolutionary questions. My mathematical developments are strongly motivated by biological problems arising in conservation biology, ecology and population dynamics, evolutionary biology and population genetics, as well as eco-evolutionary biology, which integrates ecological and evolutionary perspectives. The main objective of this presentation is to understand how species can adapt to changing environments. Specifically, it aims to shed new light on biological propagation and adaptation phenomena across various scales -- such as spatial or ecosystemic -- and within heterogeneous or changing environments.
My HDR is structured around four biological applications: Propagation dynamics and their consequences on genetic diversity (Chapter~I); Long-distance dispersal, with a focus on fast propagation, gene mixing, and ecological rescue (Chapter~II); Evolutionary adaptation of populations to heterogeneous or changing environments (Chapter~III); Eco-evolutionary dynamics of mutualism in host-symbiont ecosystems (Chapter~IV).
Le colloque "3C: Challenges in Computational methods for Complex environmental applications " organisé par Beatrice Battisti et Walter Boscheri aura lieu du 21 au 23 mai 2025 au Pole Montagne.
Programme et information sur le site : https://threecs.sciencesconf.org/
Le comité parité du LAMA organise, pour la deuxième année consécutive, une journée intitulée "Filles et math, une équation lumineuse" en collaboration avec les associations femmes et mathématiques, Animath, la Fondation Blaise Pascal et avec le soutien des IA-IPR de mathématiques de l’académie de Grenoble. Cette journée aura lieu le lundi 20 mai 2025 sur le campus du Bourget du Lac.
Le principe général des journées « filles, maths et informatique : une équation lumineuse » consiste à accueillir une centaine de lycéennes de classe de seconde et première dans un établissement d’enseignement supérieur pendant une journée afin qu’elles puissent assister à une conférence de mathématiques ou d’informatique, échanger avec des femmes scientifiques et réfléchir sur les stéréotypes de manière originale. Le but de ces journées est de faire prendre conscience aux participantes de l’omniprésence des stéréotypes sociaux de genre et de leur impact dans les choix d’orientation. Elles y rencontreront des femmes faisant ou ayant fait des études à forte composante mathématique ou informatique et découvriront un établissement d’enseignement supérieur.
Coordinates
- Organisations: Université Savoie Mont Blanc et CNRS (UMR 5127)
- Teaching department: Sciences et Montagne
- Head : Dorin Bucur
- Head of administration : Laure Bastide
- Secretary : Fernanda Mendonca Dos Reis
- Address: Bâtiment Le Chablais, Campus Scientifique, 73376 Le Bourget du Lac, France
- Phone (admin) : (+33/0) 4 79 75 87 17
Presentation
The LAMA (Mathematics Laboratory of Savoie Mont Blanc University) exists since creation of the university in 1979. It is co-funded with CNRS (UMR) since January 2001.
It is organised around three research teams:
This diversity of research themes reflects the unity of mathematics in its three components: pure mathematics, applied mathematics, and mathematics and computer science.
Our main shared values are the quality of fundamental research and the importance of applications, even though this last word is understood differently in each team. Indeed, it may mean applications in other sciences (geophysics, physics, biology, mechanics, and computer science), in other areas of mathematics (e.g., applications of geometry in control theory), or even in pedagogy.
This demonstrates the openness of mathematics towards the outside scientific world, and our relentless support of multidisciplinary research.
You may download
-
an activity report for evaluation by HCERES
(all in French).
The LAMA has its own library, regularly enriched with new mathematical books, and a seminar room, the /TLR room/, named after Thomas Lachand-Robert (former professor in the lab, who passed away in 2006): a tribute to him is available.
Seminars
-
Team seminars (weekly):
-
Other seminars :
-
CMI seminar, consisting of researchers presenting their area to students from the Engineering Master Cursus (CMI in french).
-
Seminars of other labs members of the fédération de recherche en Mathématiques (MARA) :
- Institut Camille Jordan
- Institut Fourier
- Laboratoire de Mathématiques : Séminaire de Mathématiques Pures et Séminaire de Mathématiques Appliquées
- Laboratoire Jean Kuntzmann
- Unité de Mathématiques Pures et Appliquées
Values
Eco-responsible convention
LAMA voted in General Assembly a text which aims to reduce the environmental impact of our research activity. This process occurs in the context of the CNRS process and for example by the Labos1point5 group. This text can be read here (in French).
Parity - equality in mathematics research
In connection with institutional politics, the LAMA Parity committee works towards equality between women and men, and acts to raise awareness of discrimination against women in the mathematics research community. Its missions include dissemination of information on that topic, as well as organisation of conferences in high schools.
- CNRS: Mission for the role of women.
- INSMI: parity and equality issues in mathematics research.
- Savoie Mont Blanc University: equality and diversity at work.
Internship bonus
When doing an internship at LAMA, the lab can cover some of your accommodation and our transportation expenses, as long as you are not registered at USMB. Accommodation is at the Bourget-du-Lac CROUS, transportation can be a return plane or train ticket.
Directions
Situation
The LAMA can be found on the site of Savoie-Technolac, close the lake 'Le Lac du Bourget', near Chambéry and Aix-les-bains.
-
- Location of the campus
-
- Campus scientifique de Savoie Technolac (photothèque USMB)
Once on site, the LAMA can be found in the "Chablais" building, number 21 on map ( see plan du campus or OpenStreetMap.
To see the list and the name of the nearby bustops, please clic on the map above.
Our visitors can esaly found an accomodation in the city center. They can get on site in about 30mins taking the A bus, in the "Technolac" or "Bourget Plage" direction. map Chambéry' center.
By bus (from Chambéry)
Take the A line towards "Technolac" or "Bourget Plage" (for instance from the train station)({% static 'website/Plan-centre-ville-2019.pdf' %}) up to the stop « Université le Bourget ». You can check the timetables here: Synchro Bus,along with the public network' map map of the network.
By train
Chambéry and Aix-les-Bains are accessible by the fast train TGV
From Chambéry's train station you can take the A Bus, or wait for someone to pick you up.
There are also buses from Aix-Les-Bains, but not as many (tel 04 79 88 80 60 or the website of Ondea.
By plane
Chambéry's airport is next to the campus, but there is not a lot of flights.
The easiest is to get a plane to Lyon Saint Exupéry airport.
From the airport, take a shuttle (bus) to Chambéry, Aix-les-Bains or Lyon and take a train connection.
An other solution is to use the international aiport of
Genève which is connected to many flights (includind
low-cost). Then you can reach Chambéry or
Aix-les-bains by train or bus. More information can be found on the airport's website
lien.
By car
Coming from Lyon, take the A43 towards Chambéry. After the exit « Chambéry » head towards « Le Bourget du Lac, Savoie-Technolac » (see plan d'accès autoroutier).
From Grenoble or Turin, take the A41 towards Chambéry. Once out of the A41, stay on the fast lane towards Aix-les-bains, and take the exit « Le Bourget du Lac, Savoie-Technolac » (see plan d'accès autoroutier).
From Annecy or Genève, take the A41 towards Chambéry. After the end of the A41, take the exit « Le Bourget du Lac, Savoie-Technolac » (see plan d'accès autoroutier).
Coordinates
- Tutelles : Université Savoie Mont Blanc et CNRS (UMR 5127)
- UFR de rattachement : Sciences et Montagne
- Directeur : Dorin Bucur
- Responsable administrative : Laure Bastide
- Gestionnaire : Fernanda Mendonca Dos Reis
- Adresse postale : Bâtiment Le Chablais, Campus Scientifique, 73376 Le Bourget du Lac, France
- Téléphone (secrétariat) : (+33/0) 4 79 75 87 17