 |
 |
 |
 |
 |
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.
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é]
Vidéo : Comment berner une intelligence artificielle, avec Omar Fawzi, membre de l'équipe MC2 du LIP.
(publiée sur Universcience.tv et sur le site Le Monde, rubrique Sciences le 6/3/2019)
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]
avec, par ordre d'apparition, L. Lefèvre, S. Delamarre et D. Boughzala, membres de l'équipe Avalon du LIP.
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é]
