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.

Invited Speakers
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
University of Wisconsin–Madison, Madison, WI, USA
A Sigma^1_1 axiom of finite choice and Steel forcing
Purdue University, West Lafayette, IN, USA
Rationality of growths of groups
University of California, Berkeley, USA
Part 1 of Martin's Conjecture for Order Preserving Functions
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
Sobolev Institute of Mathematics
Sobolev Institute of Mathematics
George Washington University, USA
Victoria University of Wellington, New Zealand
Kazan Federal University, Russia
Massey University, Auckland, New Zealand
Nanyang Technological University, Singapore
A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
National University of Singapore, Singapore
Sobolev Institute of Mathematics and Mathematical Center in Akademgorodok
Nikolay Bazhenov