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