Приглашенные докладчики конференции:
- 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
Приглашаем вас принять участие в конференции!