 |
 |
 |
 |
 |
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).
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.
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é]
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é]
