Logic Webinar

6th of July | 16h00 (Lisbon time)

Location:  Zoom Meeting: https://videoconf-colibri.zoom.us/j/92351703489?pwd=Q245VmlJUitDVS9vZGJkSlJIc3BOUT09


Meeting ID: 923 5170 3489

Password: 251275

 

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.