Fourth Workshop on Digitalization and Computable Models (WDCM-2022) (October 24–29, 2022, Novosibirsk and Kazan)
|
Fourth Workshop on Digitalization and Computable Models (WDCM-2022), Novosibirsk and Kazan, October 24–29, 2022 |
|
|
October 24, 2022 (Mon) |
|
1. |
Opening October 24, 2022 08:50–09:00, Novosibirsk and Kazan
|
|
|
|
|
2. |
The Scott rank of computable structures and the isomorphism relation Su Gao October 24, 2022 09:00–10:00, Novosibirsk and Kazan
|
|
|
|
|
3. |
Primitive recursive reverse mathematics Marta Fiori Carones October 24, 2022 10:00–11:00, Novosibirsk and Kazan
|
|
|
|
|
4. |
"Jump inversion" for linear orders Maxim Zubkov October 24, 2022 17:00–18:00, Novosibirsk and Kazan
|
|
|
|
|
5. |
Computability-theoretic reduction games in reverse mathematics Denis Hirschfeldt October 24, 2022 18:00–19:00, Novosibirsk and Kazan
|
|
|
|
|
|
October 25, 2022 (Tue) |
|
6. |
Some applications of recursion theory to geometric measure theory Liang Yu October 25, 2022 09:00–10:00, Novosibirsk and Kazan
|
|
|
|
|
7. |
Does subclass of left-c.e. supermartingales define 1-randomness Lu Liu October 25, 2022 10:00–11:00, Novosibirsk and Kazan
|
|
|
|
|
8. |
Well orderings of graphs Reed Solomon October 25, 2022 17:00–18:00, Novosibirsk and Kazan
|
|
|
|
|
9. |
Toward deciding the $\forall\exists$-theory of the $\Sigma^0_2$-enumeration degrees Steffen Lempp October 25, 2022 18:00–19:00, Novosibirsk and Kazan
|
|
|
|
|
|
October 26, 2022 (Wed) |
|
10. |
Kleene star in substructural logics Stepan Kuznetsov October 26, 2022 09:00–10:00, Novosibirsk and Kazan
|
|
|
|
|
11. |
Complexity for Kripke’s theory of truth Stanislav Speranski October 26, 2022 10:00–11:00, Novosibirsk and Kazan
|
|
|
|
|
12. |
Majority circuits and sorting networks of small depth Vladimir Podolskii October 26, 2022 17:00–18:00, Novosibirsk and Kazan
|
|
|
|
|
13. |
Generic Muchnik reducibility Joseph Miller October 26, 2022 18:00–19:00, Novosibirsk and Kazan
|
|
|
|
|
|
October 27, 2022 (Thu) |
|
14. |
On holographic structures Andrey Morozov October 27, 2022 09:00–10:00, Novosibirsk and Kazan
|
|
|
|
|
15. |
On the complexity of the Quantified Constraint Satisfaction Problem Dmitry Zhuk October 27, 2022 10:00–11:00, Novosibirsk and Kazan
|
|
|
|
|
16. |
Fields computable in polynomial time Pavel Alaev October 27, 2022 11:10–11:55, Novosibirsk and Kazan
|
|
|
|
|
17. |
First-order classification and non-standard models Alexei Miasnikov October 27, 2022 17:00–18:00, Novosibirsk and Kazan
|
|
|
|
|
18. |
Computable families of sets and numberings Iskander Kalimullin October 27, 2022 18:05–18:50, Novosibirsk and Kazan
|
|
|
|
|
|
October 28, 2022 (Fri) |
|
19. |
Computability in $C[0,1]$ Alexander Melnikov October 28, 2022 08:00–08:45, Novosibirsk and Kazan
|
|
|
|
|
20. |
Recent developments on the Wadge degrees of Borel functions Takayuki Kihara October 28, 2022 08:45–09:30, Novosibirsk and Kazan
|
|
|
|
|
21. |
Formal grammars after the Cuban missile crisis Alexander Okhotin October 28, 2022 09:40–10:25, Novosibirsk and Kazan
|
|
|
|
|
22. |
On the complexity of describing topological bases for $QCB_0$-spaces Matthew de Brecht October 28, 2022 16:00–16:45, Novosibirsk and Kazan
|
|
|
|
|
23. |
Describing the Wadge hierarchy on arbitrary zero-dimensional Polish spaces Luca Motto Ros October 28, 2022 16:45–17:30, Novosibirsk and Kazan
|
|
|
|
|
24. |
Putting the fun back in functional programming Bill Wadge October 28, 2022 17:40–18:25, Novosibirsk and Kazan
|
|
|
|
|
|
October 29, 2022 (Sat) |
|
25. |
Fine hierarchy relative to Turing reducibility Mars Yamaleev October 29, 2022 08:45–09:30, Novosibirsk and Kazan
|
|
|
|
|
26. |
Rigorous computation of solutions to differential equations problems, and algorithmic complexity Svetlana Selivanova October 29, 2022 09:30–10:15, Novosibirsk and Kazan
|
|
|
|
|
27. |
Normal numbers and perfect necklaces Veronica Becher October 29, 2022 16:00–16:45, Novosibirsk and Kazan
|
|
|
|
|
28. |
On partial numberings Dieter Spreen October 29, 2022 16:45–17:30, Novosibirsk and Kazan
|
|
|
|
|
29. |
A Mathematical Journey Victor Selivanov October 29, 2022 17:40–18:20, Novosibirsk and Kazan
|
|
|
|
|
|