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

Current LIP events:

The LIP organizes regular thematic seminars around the following topics:

Languages, Compilation, and Semantics: the next meeting is scheduled for July 5th, 2018.
Computation and computer science research: the next meeting happened on June 21th, 2018.
Discrete Structures: the last meeting happened on April 28, 2016.

If you think of another event that should appear here, please tell Loris Marchal.

Other events:

Student's seminar of the Computer Science department
Winter Research Schools of the Computer Science department
EJCP Summer school (June 2018) of the GDR GPL.
Working groups of the teams and other specific events:

: Written by Loris Marchal; Last Updated: 07 September 2018

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