Liens transverses ENS de Lyon

Agenda de l'ENS de Lyon

Fast and Reliable Approximation

Du mer 22 mai 2019 au ven 24 mai 2019

10h à 18h

sauf le 24/05 : fin à midi


D2 034

Langue(s) des interventions

Description générale

This workshop 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.

This workshop concludes a project funded by the French ANR. It is open to members of that project and to colleagues of various origins sharing our interest in these topics.

In addition to invited speakers, there will also be short talks by Sylvie Boldo, Florent Bréhard, Nicolas Brisebarre, Fredrik Johansson, Mioara Joldes, Marc Mezzarobba, Guillaume Melquiond, Jean-Michel Muller, Bruno Salvy, Florian Steinberg, Laurent Théry and perhaps a few others who haven't confirmed yet.


Fin des inscriptions : 15/04

Mots clés