Université Savoie Mont Blanc Unité Mixte de Recherche 5127 CNRS — Université Savoie Mont Blanc CNRS

Bâtiment Le Chablais, Rue du lac de la Thuile, Campus Scientifique, 73376 Le Bourget-du-Lac Cedex, France
Téléphone : (+33/0) 4.79.75.87.20, Télécopie : (+33/0) 4.79.75.81.42

Le LAMA est membre de la Fédération de Recherche en Mathématiques Rhône-Alpes-Auvergne

Si vous voyez ce message, votre navigateur est incompatible avec les standards ou trop ancien, ce qui peut rendre la lecture difficile. Nous vous suggérons d’en utiliser un autre.


À la une !

Soutenance de thèse de Lama Tarsissi

Lama tarsissi soutiendra sa thèse intitulée Propriétés d'équilibre sur les mots de Christoffel et applications, le Vendredi 24 Novembre à 14h30 en Salle TLR au LAMA. Le jury sera composé de :
  • Jean-Pierre Borel, Professeur, Université de Limoges, Examinateur
  • Michel Rigo, Professeur, Université de Lièges, Rapporteur
  • Jean-Marc Fédou, Professeur, Université de Nice, Rapporteur
  • Simone Rinaldi, Professeur, Université de Sienne, Examinateur
  • Julien Cassaigne, CR CNRS, Institut de Mathématiques de Marseille, Examinateur
  • Laurent Vuillon, Professeur, Université de Savoie Mont Blanc, Directeur de thèse
Soutenance de thèse de Charle Demay
Charle Demay soutiendra sa thèse intitulée Modélisation et simulation d'écoulements transitoires diphasiques eau-air dans les circuits hydrauliques le 15 Novembre au Bâtiment Azur, Salle A1.116/122, EDF Lab Paris-Saclay, 7 Boulevard Gaspard Monge, 91120 Palaiseau. Le jury est composé de :
  • M. Nicolas Seguin, Université de Rennes 1, France
  • M. Enrique D. Fernandez-Nieto, Universidad de Sevilla, Espagne
  • M. Nicolas Favrie, Aix Marseille Université, France
  • M. Jean-Marc Hérard, EDF R&D et Aix Marseille Université, France
  • M. Benoit De Laage de Meux, EDF R&D, France,
  • M. Jacques Sainte-Marie, INRIA, CEREMA, Université Pierre et Marie Curie, Paris 6, France
Colloque "Termination and Circular Proofs", le 19 Juillet 2017 à Chambéry

La terminaison est un domaine de recherche très actif, qui est essentiel pour la construction d'assistants à la preuve. En effet, une preuve circulaire (qui peut utiliser son propre but comme hypothèse) n'est valide que si elle est bien fondée, et donc terminante en un certain sens. Ce workshop, organisé le 19 Juillet à Chambéry rassemblera des chercheurs de diverses communautés liée$ terminaison et aux preuves circulaires, dans le but de provoquer discussions et interactions.

Retrouvez plus d'information sur la page du colloque.

Soutenance de thèse de Rodolphe Lepigre
Rodolphe Lepigre a soutenu sa thèse intitulée Sémantique et Implantation d'une Extension de ML pour la Preuve de Programmes le 18 Juillet 2017 à 15H au LAMA. Le jury était composé de :
  • Thierry Coquand, Professeur, Göteborgs Universitet, Suède, Rapporteur
  • Alexandre Miquel, Professeur, IMERL, Universidad de la República (Montevideo, Uruguay), Rapporteur
  • Andreas Abel, Professeur, Göteborgs Universitet, Suède, Examinateur
  • Frédéric Blanqui, Chargé de recherche, Inria, Examinateur
  • Laurent Regnier, Professeur, Aix-Marseille Université, Examinateur
  • Karim Nour, Maître de conférences, USMB, Directeur de these (HDR)
  • Christophe Raffalli, Maître de conférences, USMB, Directeur de these
  • Pierre Hyvernat, Maître de conférences, USMB, CoDirecteur de thèse

Vous pouvez trouver plus d'informations sur la page ici.

Soutenance de thèse de Marion Foare
Marion Foare a soutenu sa thèse intitulée Analyse d'images par des méthodes variationnelles et géométriques le 26 Juin 2017 à 14H au LAMA. Le jury était composé de :
  • Zakaria Belhachmi, Professeur, LMIA, Université de Haute Alsace, Rapporteur
  • Olivier Lézoray, Professeur, GREYC, Université Caen Normandie, Rapporteur
  • Laurent Najman, Professeur, LIGM, ESIEE Paris, Examinateur
  • Élie Bretin, Maître de conférence, ICJ, INSA Lyon, Examinateur
  • Jacques-Olivier Lachaud, Professeur, LAMA, Université Savoie Mont Blanc, Directeur de thèse
  • Dorin Bucur, Professeur, LAMA, Université Savoie Mont Blanc, Co-Directeur de thèse

Colloque "Coinduction in Type Theory", du 3 au 6 Juillet, au LAMA
Coinduction in Type Theory est un workshop organisé du 3 au 6 Juillet 2017 sur le campus du Bourget du Lac de l' Université de Savoie Mont Blanc, par l'équipe LIMD du LAMA.
Le colloque comprend 3 mini-cours invités : Retrouvez plus d'information sur le site du workshop CoTT2017.
Marche pour la science
Le 22 avril, les citoyens de Washington et du reste du monde – 514 villes dans 54 pays – se mettront en marche «pour la science». Ce qui a débuté comme un rejet instinctif de la politique scientifique de la nouvelle administration américaine s’est transformé en un large mouvement citoyen vi$
Vous pouvez retrouver l'article du journal du CNRS ici pour plus d'informations.
ContrOpt 2017 "Contrôle et optimisation", 15-19 mai 2017, Monastir, Tunisie

Ecole de printemps, ContrOpt 2017 "Contrôle et optimisation", 15-19 mai 2017, Monastir, Tunisie

Cette école de printemps est composée de 6 mini-cours et trois exposés invités, qui feront un tour d'horizon des diverses techniques et problèmes en contrôle des EDP et en optimisation. Elle est organisée par Kaïs Ammari, Université de Monastir, Tunisie et Stéphane Gerbi du LAMA.

Séminaires à venir

LAMAJeudi 11 janvier 2018 à 14h Pierre Arnoux (Marseille),
TBA

EDPs²Vendredi 24 novembre 2017 à 10h Antonio Leaci (Università del Salento),
Image segmentation and inpainting by variational methods.

GéométrieJeudi 23 novembre 2017 à 14h30 Antoine Ducros (Institut Mathématiques de Jussieu, Paris 6),
Intégrales non archimédiennes comme limites d'intégrales complexes.

Résumé disponible sous forme de fichier PDF.

LIMDJeudi 14 décembre 2017 à 10h, ENS Lyon Séminaire Chocola (TBA),
TBA

LaboJeudi 11 janvier 2018 à 14h Pierre Arnoux (Marseille),
TBA

CMIJeudi 23 novembre 2017 à 12h50 Georges Comte (LAMA),
L'histoire des mathématiques a-t-elle un sens ?


Mentions légales Maintenance du site : C. Acary-Robert, C. Raffalli.

Recherche dans le site du Lama avec Google

Ou avec DuckDuckGo

Valid XHTML 1.0 Transitional CSS Valide !