29 Sep 2021
=== Minisymposium: New Trends in Algorithmic Randomness and Computable Analysis, Wednesday, September 29, 2021 === Organized by Rupert Hölzl (Bundeswehr University Munich) and Christopher Porter (Drake University, United States), The minisymposium is part of the 2021 Joint Meeting of the DMV-ÖMG (German and Austrian mathematical societies), hosted by the University of Passau. The minisymposium will be held online via Zoom. Registration information for the conference can be found here: https://www.uni-passau.de/en/dmv-oemg-jahrestagung-2021/home/ === Program (All times listed below are GMT+2) === == Session 1 == Wed 10.30-10.55: Keng Meng Ng (Nanyang Technological University, Singapore) "Effective topology and computability" Wed 11.00-11.25: George Barmpalias, (Institute of Software, Chinese Academy of Sciences, China) "Pathwise-random trees and models of second-order arithmetic" Wed 11.30-11.55: Mathieu Hoyrup (Inria, France) "Realizing semicomputable simplices by computable dynamical systems" Wed 12.00-12.25: Valentino Delle Rose (Università degli Studi Di Siena, Italy) "Relativized depth" == Session 2 == Wed 15.00-15.25: Elvira Mayordomo (Zaragoza University, Spain) "Extending the reach of the point-to-set principle" Wed 15.30-15.55: Tomasz Steifer (Polish Academy of Sciences) "Randomness relative to almost all oracles" Wed 16.30-16.55: Laurent Bienvenu (CNRS, Université de Bordeaux, France) "Some new results on Bennett's logical depth" Wed 17.00-17.25: Jan Reimann (Pennsylvania State University, United States) "Algorithmic randomness and uniform distribution" Wed 17.30-17.55: Verónica Becher (University of Buenos Aires and CONICET, Argentina) "Insertion in normal numbers" Wed 18.00-18.25: Diego Rojas (Iowa State University, United States) "Effective notions of weak convergence of measures on the real line" Please contact Rupert Hölzl (r@hoelzl.fr) or Christopher Porter (christopher.porter@drake.edu) with any questions about the minisymposium. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam