Our colleague Arno Pauly is on the Programme Committee of the Computability Theory and its Applications seminar series, which currently is taking place virtually.
The seminar now has a YouTube channel where you can find the recordings of past talks you may have missed. The information on future talks, the timings of those, and the links to the videos are all available on the webpage here:
CTA Seminar – Computability
The goal of this endeavor is to run a seminar on the platform Zoom on a weekly basis, perhaps with alternating time slots each of which covers at least three out of four of Europe, North America, Asia, and New Zealand/Australia.
This week we are glad to welcome two visitors here at Swansea, namely Hideki Tsuiki from Kyoto University and Kristijonas Čyra from the Imperial College of London.
Hideki will give a talk on “Infinite Adequacy Theorem through Coinductive Definitions” today at 14:00 as a part of our Theory seminar series and Kristijonas will speak on “Argumentation-enabled Explainable AI Applications” this Thursday at 15:00 at the CoFo.
Professor (Course of Mathematical Science, Graduate School of Human and Environmental Studies, Kyoto University). Ressearch Interests: Computation over Real numbers and Topological spaces, Domains and their topologies, Fractals and their models, Semantics of Programming Languages, Object Oriented Programming, Mathematical Logic, Lambda Calculus.
Postdoctoral Researcher in AI at the Department of Computing, Imperial College London. I manage researchers, enthusiastically supervise and teach students, present my work at top tier international conferences, review and assess the works of others and give highest quality feedback, organise research events, represent and speak on behalf of my colleagues and fellow AI researchers during institutional and public engagement opportunities.