Apresentação, na primeira parte da palestra, de uma visão geral de trabalhos recentes sobre aplicações da teoria da demonstração na teoria dos martingales e na aproximação estocástica.
Isto inclui um estudo quantitativo da convergência de martingales nas suas diversas formas, incluindo o teorema de convergência de supermartingales de Robbins-Siegmund, documentado numa série de artigos em conjunto com Morenikeji Neri e Nicholas Pischke.
Na segunda parte, breve descrição de um projeto em curso com Ben Langton sobre formalização e raciocínio automatizado em otimização.
Apresentação por Thomas Powell (University of Bath).
Nota: a sala 6.2.33 estará disponível para assistir à transmissão online.