Model Theory Session

• Kyle Gannon (BICMR, Peking University)
• Javier de la Nuez González (Korea Institute for Advanced Study (KIAS))
• Tatiana Zambarnaya (Institute of Mathematics and Mathematical Modeling, Almaty)
• Akito Tsuboi (University of Tsukuba)
• Jan Dobrowolski (Xiamen University Malaysia)

Set Theory Session

Computability Theory Session

Proofs and non-classical logics Session

• Sara Ayhan (Tohoku University)
• Yanjing Wang (Peking University)
• Marianna Girlando (University of Amsterdam)
• Wesley H. Holliday (accepted but to be confirmed later)

Logic in Computer Science Session