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

Bâtiment Le Chablais, 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 Rodolphe Lepigre

Rodolphe Lepigre soutiendra sa thèse intitulée Sémantique et Implantation d'une Extension de ML pour la Preuve de Programmes, le Mardi 18 Juillet à 15h en Salle TLR au LAMA. Le jury est 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.

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 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.

Symposium on Geometry Processing Software Award

La bibliothèque DGtal a reçu le « Symposium on Geometry Processing Software Award » 2016 !

Félicitations à Jacques-Olivier Lachaud, à l'origine du projet et à Roland Denis, contributeur important, tous deux lauréats du prix.

Ce prix récompense un logiciel ou une bibliothèque open-source de haute qualité autour de la thématique du traitement géométrique de formes. Issue d’une collaboration entre le LAMA et le LIRIS, le projetcollaboratif DGtal autour de la géométrie discrète est devenue incontournable dans la communauté internationale avec des contributions des principaux laboratoires sur ce thème. Plus de détails sur le site du labo : LAMA rubrique informations.

Rapport HCERES
Le rapport HCERES 2015 est disponible : Dossier d'évaluation, Évaluation résumée, Évaluation détaillée (PDF)
Séminaires à venir

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

EDPs²Vendredi 06 octobre 2017 à 14h Frédéric Lagoutière (ICJ -- Univ Lyon1),
à venir

LIMDJeudi 12 octobre 2017 à 10h, ENS Lyon Séminaire Chocola (TBA),
TBA

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


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 !