Stephane Le Roux is visiting us from Darmstadt. Today he will give a talk on “Concurrent games and semi-random determinacy.”
Category Archives: Research visit
Magne Haveraaen visiting Swansea
Magne Haveraaen from the University of Bergen is visiting our Department in May-July 2018.
Research visit to Japan
Ulrich and Olga visited Japan as part of the CID project in April 2018.
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 .
Louis Warren visiting
Louis Warren, a PhD student from the University of Canterbury (NZ), is on secondment at Swansea University for a month as a part of the CORCON project. He has given a talk on Classifying the Drinker Paradox and its Dual.
Jan Peleska and Wen-ling Huang visiting
Jan Peleska and Wen-ling Huang from the University of Bremen are visiting Swansea this week. Jan will give a talk on Safety-complete Test Suites as a part of Computational Foundry Seminar series.