Department of Mathematics
Savoie University

• Pierre Vuillemot will defend his thesis: Zeros estimates and value distribution of meromorphic functions on Tuesday, November the 6th at 14:00.

  The 16th "Journées EDP Rhône-Alpes" will take place in Grenoble the 8th and 9th of November 2018, organized by Institut Fourier. The name is changed this year to fit with the new name of the region and become the "Journées EDP Auvergne-Rhône-Alpes". The program of the conference is available on the website of the JEARA.

  
  
• The 16th "Journées EDP Rhône-Alpes" will take place in Grenoble the 8th and 9th of November 2018, organized by Institut Fourier. The name is changed this year to fit with the new name of the region and become the "Journées EDP Auvergne-Rhône-Alpes". The program of the conference is available on the website of the JEARA.
  
  
• Jean-Louis Verger-Gaugry is the organizer of the 6th International Conference on Uniform Distribution Theory UDT2018 located at the CIRM from 1th to 5th of October 2018 (co-organized by the University of Liverpool).

  Krzysztof Kurdyka was speaker in the "Algebraic and Complex Geometry" session of the International Congress of Mathematicians (ICM) that held from 1st to 9th of August in Rio de Janeiro, Brazil. This international congress brings together mathematicians from all over the world every 4 years since 1897. The Fields Medal is a prize awarded at this International Congress Mathematicians. One can read an interview of Krzysztof Kurdyka on the INSMI website (in french).

  
  
  
• Clovis Eberhart defended his PhD thesis entitled Catégories et diagrammes de cordes pour les jeux concurrents, Friday 22 June, at 15h00, TLR room, LAMA.
  
  
  
• Defenses of thesis
• (Co-)organized manifestions by LAMA members

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.

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:

• Henning Basold: Type Theory Based on Dependent Inductive and Coinductive Types
• Neil Ghani: Coinduction and infinite games
• Rasmus Møgelberg: Guarded dependent type theory with coinductive types

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.

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.

EDPs²Friday 26th October 2018 à 14h Arnaud Duran (Université Claude Bernard Lyon 1),
A new model of shoaling and breaking waves - Numerical aspects and two-dimensional applications

GéométrieThursday 8th November 2018 à 14h Andrea Pulita (Institut Fourier, Grenoble),
Equations différentielles sur les courbes p-adiques

LIMDThursday 8th November 2018 à 10h Adrien Guatto (IRIF, Paris),
TBA

CMIThursday 25th October 2018 à 13h, Amphi Vanoise Didier Bresch (LAMA),
Phénomènes de congestion sous la loupe mathématique