24 октября состоялось открытие международной конференции «Fourth Workshop on Digitalization and Computable Models», WDCM-2022 (Novosibirsk and Kazan, Russia/online)

Онлайн-конференция «Fourth Workshop on Digitalization and Computable Models», WDCM-2022 (Novosibirsk and Kazan, Russia / online) проходит с 24 по 29 октября 2022 года. Серия конференций WDCM в Академгородке началась в 2019 году, затем продолжилась в 2020 и 2021 годах. Конференция организована Математическим центром в Академгородке (https://www.nsu.ru/n/mca/) совместно с Научно-образовательным математическим центром Приволжского федерального округа (http://mathcenter.kpfu.ru/).

Вся подробная информация о проходящей конференции доступна на официальном сайте мероприятия: 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