CCA 2022 Schedule (Time zone: Europe/Berlin)

14:30-14:45

Social event on Wonder.me

14:45-15:00

CCA 2022 Opening

15:00-16:00

Keynote - Verónica Becher (Buenos Aires, Argentina) - Poisson generic real numbers

16:00-16:30

Coffee break on Wonder.me

16:30-17:00

Vittorio Cipriani (Italy) and Arno Pauly (UK) - Embeddability of graphs and Weihrauch degrees

17:00-17:30

Adam Case and Jack Lutz (USA) - Finite-State Mutual Dimension

17:30-18:00

Michal Konecny (UK), Sewon Park (JP) and Holger Thies (JP) - Nondeterministic limits and certified exact real computation

18:00-19:00

Lunch break

19:00-20:00

Keynote - Henry Towsner (Philadelphia, USA) - Borel Combinatorics Goes Wrong in HYP

20:00-20:30

Coffee break on Wonder.me

20:30-21:00

Sam Sanders (Ger) and Dag Normann (Nor) - On the computational properties of basic mathematical notions

21:00-21:30

Gabriel Sac Himelfarb (Arg) - A construction of lambda-Poisson generic sequence

21:30-22:00

Coffee break on Wonder.me

22:00-23:00

Keynote - Alexander Melnikov (Wellington, New Zealand) - Computable topology and topological groups

14:30-15:30

Keynote - Elvira Mayordomo (Zaragoza, Spain) - Exploring the point-to-set principles for algorithmic dimensions

15:30-16:00

Matthew de Brecht (JP) - A note on the closed prime spectrums of coPolish commutative rings

16:00-16:30

Coffee break on Wonder.me

16:30-17:00

Djamel Eddine Amir and Mathieu Hoyrup (FR) - Descriptive complexity of topological invariants

17:00-17:30

Peter Hertling and Philip Janicki (Ger) - Further Properties of Nearly Computable Real Numbers

17:30-18:30

Keynote - Vassils Gregoriades (Athens, Greece) - Fixed points of positive formulae and of monotone functions

18:30-19:30

Lunch break

19:30-20:30

Keynote - Isaac Goldbring (Irvine, USA) - Oracle computability of conditional expectations onto subfactors

20:30-21:00

Coffee break on Wonder.me

21:00-21:30

Cameron Fraize, Douglas Cenzer, and Christopher P. Porter (USA) - Extraction Rate of Random Functionals

14:30-15:30

Keynote - Daniel Graça (Faro, Portugal) - Dynamical systems: moving from qualitative to computable results

15:30-16:00

Matthias Schroeder (Ger) - Weihrauch Reducibility on Assemblies

16:00-16:30

Coffee break on Wonder.me

16:30-17:30

Keynote - Jun Le Goh (Madison, USA) - Redundancy of information: lowering effective dimension

17:30-18:00

Arno Pauly and Giovanni Solda (UK) - First-order part and sequential discontinuity

18:00-18:30

Closing - Social event on Wonder.me