Second Workshop on Digitalization and Computable Models (WDCM-2020)
July 20-24, 2020
Novosibirsk – virtual
The main goals of the WDCM workshop series include:

- Providing a venue for leading researchers in computability theory and computer science to meet and discuss the latest trends in their areas.
- Providing an opportunity for younger researchers to present their work.
- Encouraging joint projects of interdisciplinary nature.

Schedule
Abstracts
Slides
Invited Speakers
Marat Arslanov
Kazan Federal University, Kazan, Russia
Complexity of fixed-point selection functions
Texas A&M University, College Station, TX, USA
Computable groups and computable group orderings
Western Illinois University, Macomb, IL, USA
Recent results in cohesive powers
Jun Le Goh
University of Wisconsin–Madison, Madison, WI, USA
A Sigma^1_1 axiom of finite choice and Steel forcing
Meng-Che "Turbo" Ho
Purdue University, West Lafayette, IN, USA
Rationality of growths of groups
Patrick Lutz
University of California, Berkeley, USA
Part 1 of Martin's Conjecture for Order Preserving Functions
Russell Miller
City University of New York, USA
Hilbert's Tenth Problem for Subrings of the Rational Numbers
Université Paris-Est Créteil, Créteil, France
Reverse mathematics and the Ramsey's theorem for pairs
KAIST, Daejeon, Republic of Korea
Real complexity analysis applied to equations of mathematical physics
University of Oxford, UK
The membership problem in matrix semigroups
Sofia University "St. Kliment Ohridski", Sofia, Bulgaria
Coding and Decoding in Classes of Structures
Sobolev Institute of Mathematics, Novosibirsk, Russia
Generalized computability in approximation spaces
Arcadia University, Glenside, PA, USA
A computability theory of real numbers
Program Committee
Andrey Morozov
Sobolev Institute of Mathematics
Sergey Goncharov
Sobolev Institute of Mathematics
Valentina Harizanov
George Washington University, USA
Matthew Harrison-Trainor
Victoria University of Wellington, New Zealand
Iskander Kalimullin
Kazan Federal University, Russia
Alexander Melnikov
Massey University, Auckland, New Zealand
Keng Meng Ng
Nanyang Technological University, Singapore
Victor Selivanov
A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
Yue Yang
National University of Singapore, Singapore
Nikolay Bazhenov
Sobolev Institute of Mathematics and Mathematical Center in Akademgorodok
Contacts
Nikolay Bazhenov
E-mail: bazhenov@math.nsc.ru