Effective analysis is the foundation of both symbolic and numerical algorithms which compute properties of continuous objects and of their implementation in mathematical software.

This workshop aims to bring together researchers from different areas, interested in effective methods in analysis and geometry, and by the design and implementation of efficient and certified algorithms. Its objective is to stimulate discussions between communities that do not so often meet in traditional venues and to foster interactions between their different but complementary perspectives, in the tradition of the meetings of the MAP community.

It will address perspectives from proof theory, type theory, constructive analysis, machine-checked mathematics, implementation of real/float/interval arithmetic, computer algebra systems, including those based on new paradigms like quantum computation.