Habilitation Thesis per Year

By continuing your visit to this site you accept the use of cookies to offer you content and services tailored to your interests

Latest News

Florent Brehard Florent Bréhard, qui vient de soutenir sa thèse chez AriC, a reçu mi-juillet le “Distinguished Paper” de la conférence ISSAC 2019, pour son article On a moment problem with holonomic functions avec Mioara Joldes et Jean-Bernard Lasserre (du LAAS).

Florent Brehard 2 Soutenance de thèse: Florent Bréhard, vendredi 12 juillet à 14h à l'ENS de Lyon, en Amphi B, Certified numerics in function spaces: Polynomial approximations meet computer algebra and formal proof.

Tuna Altinel2

Le LIP exprime sa solidarité avec Tuna Altinel, mathématicien de l'Université Lyon 1 arrêté en Turquie, et s'associe à la demande de sa libération. [plus d'info]

On May 22-24, the Fast and reliable workshop will take place in ENS de Lyon, Campus Descartes, Room D2 034. It will gather specialists of computer arithmetic, formal proof systems, computer algebra, rigorous computing and optimal control theory. The aim is to exchange tools and ideas to develop computer-aided proofs of numerical values, with certified and reasonably tight error bounds, without sacrificing efficiency.

christophe2 Soutenance HDR : Christophe Alias, Mercredi 15 mai à 14h à l'ENS de Lyon, en Amphi B, Contributions to Program Optimization and High-Level Synthesis. [résumé]

Past Events

MUMPS

Mumps Technologies : une nouvelle start-up hébergée à l'ENS de Lyon. Elle valorise les travaux de recherche qui ont donné lieu à la librairie scientifique MUMPS (MUltifrontal Massively Parallel Solver) [plus d'info]

Vidéo : La pollution numérique,

avec, par ordre d'apparition, L. Lefèvre, S. Delamarre et D. Boughzala, membres de l'équipe Avalon du LIP.

Reportage F. Nicotra, O. Savineau, O. Dumont, S. Richardson, France3, Journal 19/20, 9/12/2018

Thomas2 Soutenance HDR : Thomas Begin, lundi 10 décembre à 14 h, Amphi G1 (rez de chaussée) à l'ISFA (50 Av. Tony Garnier), Contributions to the Performance Modeling of Computer Networks. [résumé]