Université Savoie Mont Blanc Université Savoie Mont Blanc — CNRS research unit number 5127 CNRS

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

LAMA laboratory is member of a Mathematics Laboratories federation
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.


News !


Workshop "Termination and Circular Proofs", 19th of July 2017, Chambéry

Termination is a very active research topic, which is essential for the construction of proof assistants. Indeed, a circular proof (i.e., a proof having the freedom of using its own goal as a premise) is only valid if it is well-founded, and thus terminating in some sense. This one day workshop aims at bringing together researchers from both the termination and the proof assistant communities around a few talks, in the hope of stimulating interactions and fruitful discussions.

More informations on the workshop web page.
Workshop on Coinduction in Type Theory, July 3 to July 6, Chambery

A workshop on Coinduction in Type Theory will take place on the Bourget-du-Lac campus of Savoie Mont Blanc University from July 3 to July 6, organised by the LIMD team of LAMA.
The workshop is organised around 3 invited mini-courses:

More information available on the CoTT2017 website.
Les Journées Jeunes EDPistes, Autran, 20-22 mars 2017.

Organized by Evelyne Miot, Marguerite Gisclon, Didier Bresch and Jimmy Garnier, Les Journées Jeunes EDPistes stays in Autrans close to Grenoble for this 2017 edition. These three days of lectures give the opportunity for any young phd students and post-doctorant in PDE to show up in front of the comunity by giving a talk about their work.

More information on the website: https://jef17.sciencesconf.org/
Symposium on Geometry Processing Software Award

The generic and collaborative C++ open source library for Digital Geometry programming DGtal received the « Symposium on Geometry Processing Software Award » 2016 !

Congratulations to Jacques-Olivier Lachaud, initiator of the project and Roland Denis, important contributor, both winners of the prize !

This prize rewards an open-source high quality software or library around the thema of shape geometry processing.

Issued from a collaboration betwwen the LAMA and the LIRIS Labs, the collaborative project DGtal is now a standard in the international discrete geometry research field.

LAMA's day
LAMA's day will be on Wednesday July 5: the program is available following this link (french only PDF).
HCERES report
HCERES report is available (french only PDF): Evaluation file, Evaluation summary, Detailled evaluation

Next seminars

LAMAThursday 11th January 2018 à 14h Pierre Arnoux (Marseille),
TBA

EDPs²Friday 12th January 2018 à 14h Journée Calcul des Variations et EDP (Université Grenoble),
Journée Calcul des Variations et EDP, le 12 Janvier 2018 à Grenoble

GéométrieThursday 11th January 2018 à 16h Tony Yue Yu (Laboratoire de Mathématiques d'Orsay, Paris-Sud),
À venir

LIMDThursday 14th December 2017 à 10h, ENS Lyon Séminaire Chocola (TBA),
TBA

LaboThursday 11th January 2018 à 14h Pierre Arnoux (Marseille),
TBA


Search in Lama's website with Google

Or with DuckDuckGo

Website administration: C. Acary-Robert, C. Raffalli.

Valid XHTML 1.0 Transitional CSS Valide !