Вся подробная информация о проходящей конференции доступна на официальном сайте мероприятия: https://sites.google.com/view/wdcm-2022/home
В программе конференции представлены приглашённые доклады ведущих мировых специалистов по теории вычислимости, математической логике и вычислимому анализу.
Приглашенные докладчики конференции:
- Marta Fiori Carones (Sobolev Institute of Mathematics, Russia), Primitive recursive reverse mathematics [abstract] [slides]
- Su Gao (Nankai University, China), The Scott rank of computable structures and the isomorphism relation [abstract] [slides]
- Denis Hirschfeldt (University of Chicago, USA), Computability-theoretic reduction games in reverse mathematics [abstract] [slides]
- Stepan Kuznetsov (Steklov Mathematical Institute, Russia), Kleene star in substructural logics [abstract]
- Steffen Lempp (University of Wisconsin-Madison, USA), Toward deciding the ∀∃-theory of the Σ^02-enumeration degrees [abstract]
- Lu Liu (Central South University, China), Does subclass of left-c.e. supermartingales define 1-randomness [abstract]
- Alexei Miasnikov (Stevens Institute of Technology, USA), First-order classification and non-standard models [abstract]
- Joseph Miller (University of Wisconsin-Madison, USA), Generic Muchnik reducibility [abstract]
- Andrey Morozov (Sobolev Institute of Mathematics, Russia), On holographic structures [abstract]
- Vladimir Podolskii (Steklov Mathematical Institute, Russia), Majority circuits and sorting networks of small depth [abstract]
- Reed Solomon (University of Connecticut, USA), Well orderings of graphs [abstract]
- Stanislav Speranski (Steklov Mathematical Institute, Russia), Complexity for Kripke’s theory of truth [abstract]
- Liang Yu (Nanjing University, China), Some applications of recursion theory to geometric measure theory [abstract]
- Dmitry Zhuk (Moscow State University, Russia), On the complexity of the Quantified Constraint Satisfaction Problem [abstract]
- Maxim Zubkov (Kazan Federal University, Russia), "Jump inversion" for linear orders [abstract] [slides]
Программный комитет конференции:
- Sergey Goncharov (Sobolev Institute of Mathematics, Russia), chair
- Marat Arslanov (Kazan Federal University, Russia), co-chair
- Iskander Kalimullin (Kazan Federal University, Russia)
- Takayuki Kihara (Nagoya University, Japan)
- Alexander Melnikov (Victoria University of Wellington, New Zealand)
- Russell Miller (Queens College — City University of New York, USA)
- Victor Selivanov (A.P. Ershov Institute of Informatics Systems, Russia)
- Svetlana Selivanova (KAIST, Republic of Korea, and Sobolev Institute of Mathematics, Russia)
- Nikolay Bazhenov (Sobolev Institute of Mathematics, Russia), secretary of the PC