The seminar is related to the research project * ``Proof mining in
metric analysis, geometric group theory and ergodic theory''*.

Proof mining is a paradigm of research concerned with the extraction of hidden finitary and combinatorial content, such as algorithms and effective bounds, from proofs that make use of highly infinitary principles.

Metric analysis concerns the use of analysis in order to get insigths on the various approximate algebraic structures, asymptotic or infinitesimal properties of interesting classes of metric spaces.