|
| 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
|
|
|
|
|
|
Обратная связь: