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