The Proof Theory Summer School will be followed by the Workshop on September 11-13, 2019. For more information click below:

# Tag Archives: math

# Amir Tabatabai and Rahele Jalali visiting

Amir Tabatabai and Rahele Jalali, both PhD students at the Institute of Mathematics of the Czech Academy of Sciences under the supervision of Pavel Pudlak, are visiting Swansea University 13 Nov – 6 Dec 2017.

Amir will give a talk on **Computational Flows in Arithmetic **on 16 November**.**

**More information**: A computational flow is a pair consisting of a sequence of computational problems of a certain sort and a sequence of computational reductions among

them. In this talk we will explain the basics of the theory of computational

flows and how they make a sound and complete interpretation for bounded

theories of arithmetic. This property helps us to decompose a first order

arithmetical proof to a sequence of computational reductions by which we can

extract the computational content of the low complexity statements in some

bounded theories of arithmetic such as .