. LAMA

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


Logo LAMA Logo USMB Logo CNRS Logo Mara


Highlights

ECM 2024 : Dorin Bucur représente la France et Chambéry July 4, 2024, 10:25 a.m.

 

Du 15 au 19 juillet 2024 se tiendra à Séville l'ECM (Le Congrè Européen des Mathématiques) ECM, réunissant les  mathématiciennes et les mathématiciens européens en vue pour le prestige de leurs travaux.

6 collègues représenteront la France, parmi lesquels Dorin Bucur, Professeur au LAMA. Il s'agit d'une reconnaissance internationale de tout premier plan pour Dorin Bucur et pour le LAMA. 

Son interview est à retrouver ici : Information CNRS-INSMI

Ateliers Math en Jeans encadrés par des membres du LAMA June 1, 2024, 8:25 a.m.

Math en Jeans est une association dont le but est de développer les liens entre mathématiciens et établissements scolaires autour d'ateliers de recherches pour les jeunes et de briser l'image scolaire, strict et achevé des mathématiques.

 

  • Exposé de Dorin Bucur, lors de la journée Math en Jeans organisée par Valentin Gledel, le 25/03/2025, au LAMA.

    Titre: Les formes mathématiques de la nature

    Résumé: Quel est le lien entre le nid des abeilles, la peau d'un requin, une  bulle de savon et la tour de refroidissement d'une centrale nucléaire ? Pourquoi la nature produit certaines formes et pas d'autres ? Peut-on comprendre les raisons de ces phénomènes et en tirer des conséquences pour notre vie quotidienne ? Nous allons présenter les mathématiques qui se cachent dans les réponses, en partant de la légende de la reine Didon de Carthage et de sa ruse qui intrigue les mathématiciens depuis trois millénaires...

  • Jimmy Garnier (CR CNRS au LAMA) a encadré un atelier Math en Jeans le 5 avril 2024 à Lyon. 

  • Jimmy Garnier (CR CNRS au LAMA) a encadré un atelier Math en Jeans le lundi 5 février 2024 au lycée Charles Baudelaire de Rumilly (voir ici). Les 17 élèves du lycée Baudelaire et les 15 élèves du lycée de l'Albanais ont mis en commun l'avancée de leurs recherches, encadrés par trois professeures et épaulés par le chercheur Jimmy Garnier.

    La journée fût très studieuse : 4 groupes de travail correspondant aux 4 sujets de recherche étudiés se sont constitués, Jimmy Garnier passant de groupe en groupe pour valider le travail effectué et éventuellement aiguiller les élèves vers de nouveaux questionnements. Il les a félicités pour la richesse de leurs idées et l'avancée de leurs travaux ! 

    Après un buffet-repas partagé, les groupes ont commencé à travailler sur la mise en forme de leurs résultats en vue des présentations qui seront faites au congrès des 4 et 5 avril prochain.

    Pour finir, Jimmy Garnier a présenté aux élèves son métier de chercheur, avec son parcours d'études et professionnel. Il leur a ensuite présenté une vulgarisation de l'un de ses sujets de recherche : comment des modélisations mathématiques permettent de mesurer l'évolution de la biodiversité.

  • Jimmy Garnier (CR CNRS au LAMA) a encadré deux ateliers Math en Jeans en 2023 1 atelier avec le lycée de l'Albanais de Rumilly et le lycée Baudelaire d'Annecy (40 élèves), ainsi qu'un atelier Maths en Jeans au collège du Rocher  à Chambéry (5 élèves). 

    La journée universitaire des élèves a débuté par une visite de l’entreprise Scantech, spécialiste des systèmes de contrôle et de mesure pour l’industrie, et partenaire de l’université pour la formation en alternance des étudiants du Master « Mathématiques et Applications » (MMAA). Les élèves ont ensuite découvert le campus et la vie de chercheur en mathématique au travers de rencontres avec les doctorants Téofil Adamski, Alexis Jodon de Villeroché et Philippe Lafargeas. L'atelier mis en place par les professeurs Sophie Bascop (Lycée l’Albanais), Claire Castillon-Lemettais et Elisabeth Dauvier (Lycée Baudelaire) et Laurence Barou (Collège Notre Dame du Rocher) dès Septembre 2022, a permis à cinq collégiens et trente lycéens de réfléchir tel de vrais chercheurs sur deux problématiques proposées par Jimmy Garnier: "Peut-on voir le Mont-Blanc depuis la Tour Eiffel ?", "Comment remplir une boite avec un max de chocolat ?" ou « Peut on tout représenter avec des traits ». Le fruit de leur réflexion sera présenter lors du Congrès annuel qui aura lieu en Avril prochain à Lyon.

Latest News

« Filles, maths et informatique : une équation lumineuse » le 20/05/2025 May 20, 2025, 9 a.m.

 

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.

 

Programme

 

14ème semaine des mathématiques March 10, 2025, 2 p.m.

La 14e semaine des mathématiques se déroule du 10 au 19 mars 2025 sur le thème "Maths hors les murs" et concerne tous les élèves des écoles, collèges et lycées ainsi que leurs parents et le grand public. Elle permet de faire découvrir à tous les élèves le plaisir de faire des mathématiques et favorise l'éclosion d'une véritable culture scientifique.

Pour son édition 2025, la semaine des mathématiques invite à repenser le rapport aux espaces d’apprentissage en repoussant les frontières de la salle de classe.  L’occasion de découvrir que les mathématiques sont présentes partout dans notre quotidien !

Plusieurs enseignants-chercheurs du LAMA proposent et animent des conférences :

 

  • Mars 2025, au lycée L. Armand, Chambéry → 2 conférences par Christophe Lacave. « Vagues océaniques : espoir d'une énergie renouvelable ou crainte de la montée des eaux ?»
  • Mercredi 12 mars, à 8h, 9h et 10h, au lycée mercredi 12 mars, au Lycée Vaugelas de Chambéry → 3 exposés devant 6 classes de seconde et 2 classe de 1ère spécialité maths par Michel Raibaut. « Un aperçu du métier de mathématicien »

    Résumé : Dans cet exposé je commencerai par décrire le métier de mathématicien et le fonctionnement de la recherche en mathématiques.
    Je présenterai ensuite, à travers des exemples, ma thématique de recherche : la géométrie algébrique.

  • Lundi 17 mars, à 10h et 11h, au Lycée de Monge à Chambéry  → 2 conférences sur le thème « Que disent les mathématiques» par Georges Comte.
  • Mercredi 19 mars,  au lycée Lycée Philibert Delorme de L'Isle d'Abeau (Isère)  → 1 conférence pour 100 élèves par Dorin Bucur. «Les formes mathématiques de la nature ».

    Résumé : Quel est le lien entre le nid des abeilles, la peau d'un requin, une  bulle de savon et la tour de refroidissement d'une centrale nucléaire ? Pourquoi la nature produit certaines formes et pas d'autres ? Peut-on comprendre les raisons de ces phénomènes et en tirer des conséquences pour notre vie quotidienne ? Nous allons présenter les mathématiques qui se cachent dans les réponses, en partant de la légende de la reine Didon de Carthage et de sa ruse qui intrigue les mathématiciens depuis trois millénaires...

  • Vendredi 28 mars 2025 au lycée de Saint Jean de Maurienne → un exposé pour les secondes à 11h, un exposé pour les terminales spé maths à 14h.

     « Un aperçu du métier de maîtresse de conférences » par Marguerite Gisclon.

    Résumé : Dans cet exposé je commencerai par décrire mon parcours, le métier de maîtresse de conférences et le fonctionnement de la recherche en mathématiques. J’évoquerai ainsi différents organismes qui existent dans le milieu de la recherche. Je donnerai ensuite quelques thématiques de recherche en mathématiques appliquées. Je les illustrerai à l’aide de d'exemples (par exemple le trafic routier, la modélisation du comportement des vagues). 

Journée du Lycéen Feb. 20, 2025, 9 a.m.

La Journée du Lycéen aura lieu le 20/02/2025. Elle sera ouverte à tous les lycéens entre 9h30 et 15h. 


    - Espace d'échanges avec la présence d'enseignants-chercheurs du département de mathématiques.  
    - Karim Nour donnera un cours de deux heures pour un groupe de 22 élèves de première et terminale issus de plusieurs lycées de la région.

L’objectif de ce cours est de sensibiliser les étudiants à l'importance de la rigueur dans les définitions mathématiques, en s’appuyant sur des exemples tels que les objets géométriques et l’ensemble des nombres réels.

Le cours comprend également la présentation de quelques démonstrations accessibles, notamment le théorème de Pythagore, la caractérisation des nombres rationnels et l’irrationalité de certains nombres réels.

Enfin, une partie de l’exposé est consacrée à l’histoire de plusieurs problèmes ouverts qui ont été résolus au fil du temps, en lien avec le grand théorème de Fermat.
   

🎓 Soutenance de thèse : Peio BORTHELLE 12/03/2025 Feb. 14, 2025, 4:25 p.m.

Soutenance de thèse de Peio Borthelle, le mercredi 12 mars en salle TLR à 14h. Elle s'intitule "Sémantique des jeux operationelle en théorie des types". Thèse encadrée par Tom Hirschowitz au LAMA.

Résumé: Cette thèse construit un modèle de sémantique des jeux opérationelle (Ogs) de manière entièrement formelle dans le langage de la théorie des types, et prouve sa correction vis-à-vis de l’équivalence observationelle. Un artefact de code implémente ces résultats en utilisant le Rocq Prover (Coq). La construction du modèle d’Ogs et sa correction sont génériques par rapport à un langage de programmation axiomatisé et à son évaluateur. L’axiomatisation, dans le style des machines abstraites, capture les langages simplement typés avec effets de contrôle arbitraires (non-terminaison, call/cc), et nous en présentons trois exemples: Jump-with-Argument, µµ̃-calcul polarisé avec types récursifs, et λ-calcul pur non-typé en réduction de tête faible. La construction du modèle d’Ogs se base sur une notion de jeu de Levy et Staton, et les stratégies sont représentées coinductivement en généralisant la définition d’arbre d’interaction de Xia et al. aux conteneurs indexés. Nous introduisons également une nouvelle construction de point fixe pour les systèmes d’équations ultimement gardés sur les arbres d’interaction (indexés), ainsi qu’une construction générique d’un modèle de bisimulation de forme normale et sa preuve de correction.

Immersions lycéennes Fevrier 2025 - planning USMB Dec. 13, 2024, 11:16 a.m.

Les journées d'immersions des lycéens  USMB auront lieu en février prochain !

Voici le planning défini (un créneau par labo) :
- Lundi 24/02 : LIBM le matin, LOCIE l'après-midi
- Mardi 25/02 : IREGE le matin, LAPP/LAPTh l'après-midi
- Mercredi 26/02 : SYMME le matin
- Jeudi 27/02 : CROMA le matin, LAMA l'après-midi

Merci aux membres du labo pour leur implication dans ces journées

All news.

Coordinates

Building picture


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

(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

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.

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.

  • Savoie Technolac
  • Location of the campus
  • Campus du Bourget-du-Lac
  • Campus scientifique de Savoie Technolac (photothèque USMB)
Savoie-Technolac


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

Photo du bâtiment