С 24 по 29 октября 2022 г. состоится онлайн-конференция «Fourth Workshop on Digitalization and Computable Models - WDCM-2022» (Новосибирск/Казань)

Институт математики им. С.Л. Соболева СО РАН (http://math.nsc.ru/) и Научно-образовательный математический центр Приволжского федерального округа (http://mathcenter.kpfu.ru/) с 24 по 29 октября 2022 года  организуют онлайн-конференцию «Fourth Workshop on Digitalization and Computable Models», WDCM-2022 (Novosibirsk and Kazan, Russia / online).

Приглашенные докладчики конференции:

• Marta Fiori Carones (Sobolev Institute of Mathematics, Russia), Primitive recursive reverse mathematics [abstract]
• Su Gao (Nankai University, China), The Scott rank of computable structures and the isomorphism relation [abstract]
• Denis Hirschfeldt (University of Chicago, USA), Computability-theoretic reduction games in reverse mathematics [abstract]
• 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 Σ^0_2-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), TBA
• Joseph Miller (University of Wisconsin–Madison, USA), TBA
• 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), TBA
• 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), TBA

Программный комитет конференции:

• 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

Вся подробная информация о предстоящей конференции доступна на официальном сайте мероприятия:
https://sites.google.com/view/wdcm-2022/home

Приглашаем вас принять участие в конференции!