6th of July | 16h00 (Lisbon time)
Location: Zoom Meeting: https://videoconf-colibri.zoom.us/j/92351703489?pwd=Q245VmlJUitDVS9vZGJkSlJIc3BOUT09
Meeting ID: 923 5170 3489
ANDREI SIPOS (TU Darmstadt & Institute of Mathematics of the Romanian Academy)
TITLE :: Recent results in proof mining
ABSTRACT :: We present some novel kinds of rates of metastability extracted from proofs in classical analysis and ergodic theory that we recently analyzed using proof mining techniques.