Invited speakers

Plenary Speakers

Serikzhan Badaev (Al-Farabi Kazakh National University, Kazakhstan)

Nikolay Bazhenov (Sobolev Institute of Mathematics, Russia)

Qi Feng (Chinese Academy of Sciences, China)

Sakae Fuchino (Kobe University, Japan)

Takayuki Kihara (Nagoya Uni­ver­sity, Japan)

Byunghan Kim (Yonsei University, Korea)

Beibut Kulpeshov (IIT University, Kazakhstan)

Dietrich Kuske (Technische Universität Ilmenau, Germany)

Dugald Macpherson (University of Leeds, UK)

Ahti-Veikko Pietarinen(Nazarbayev University, Kazakhstan)

Zhiwei Sun (Nanjing University, China)

Toshimichi Usuba (Waseda University, Japan)

 

Special Session Speakers

 

Computability theory (organized by  Andrey Morozov, Wu Guohua, and Yue Yang ):

  1. Andrey Frolov -Kazan Federal University, Russia.
  2. Nurlan Kogabaev– Sobolev institute of Mathematics, Russia.
  3. Lu Liu -Central South University, China.

Model theory (organized by Koichiro Ikeda and Bektur Baizhanov )

  1. Sergey Sudoplatov– Sobolev institute of Mathematics, Russia.
  2. Viktor Verbovskiy -Kazakh-British Technical University, Kazakhstan.
  3. Ningyuan Yao – Fudan University, China.

 

Set theory (organized by Jörg Brendle):

  1. Osvaldo Guzman -University of Toronto, Canada.
  2. JiaLiang He -Sichuan University, China.
  3. Daisuke Ikegami – Shibaura Institute of Technology, Japan.

 

Logic in Computer Science (organized by Bakhadyr Khoussainov)

  1. Marcin Jurdzinski– University of Warwick, UK.
  2. Jiamou Liu -The University of Auckland, Newzealand.
  3. Toru Takisaka -Kyoto University, Japan.

Philosophical Logic (organized by Hiroakira Ono and Wei Wang)

  1. Minghui Ma -Sun Yat-sen University, China.
  2. Katsuhiko Sano -Hokkaido University, Japan
  3. Jiji Zhang -Lingnan University in Hong Kong, China.