| David Belanger National University of Singapore, Singapore | |
| Joerg Brendle Kobe University, Japan | Rearrangements |
| Chi Tat Chong National University of Singapore, Singapore | |
| Zhaokuan Hao Fudan University, China | Gödel's program and ultimate L (PDF) |
| Ross Horne Nanyang Technological University, Singapore | |
| Takayuki Kihara Nagoya University, Japan | |
| Satoru Kuroda Gunma Prefectural Women's University, Japan | Redeveloping Takeuti-Yasumoto forcing (PDF) |
| Ying Sheng Lam Singapore University of Technology and Design, Singapore | |
| Wenjuan Li Tohoku University, Japan | |
| Lu Liu Central South University, China | |
| Yasuhiko Omata Tohoku University, Japan | Dickson's lemma and weak Ramsey theory (PDF) |
| Ludovic Patey Centre National De La Recherche Scientifique, Institut Camille Jordan, France | Can we fish with Mathias forcing ? |
| NingNing Peng Wuhan University of Technology, China | Clique homological simplification problem is NP-hard (PDF) |
| Dilip Raghavan National University of Singapore, Singapore | |
| Alexandra A. Soskova Sofia University, Bulgaria | |
| Frank Stephan National University of Singapore, Singapore | |
| Toshio Suzuki Tokyo Metropolitan University, Japan | Non-depth-first search of an AND-OR tree |
| Kazuyuki Tanaka Tohoku University, Japan | |
| Toshimichi Usuba Waseda University, Japan | Set theoretic geologies (PDF) |
| Wei Wang Sun Yat-Sen University, China | |
| Guohua Wu Nanyang Technological University, Singapore | |
| Takeshi Yamazaki Tohoku University, Japan | |
| Yue Yang National University of Singapore, Singapore | |
| Keita Yokoyama Japan Advanced Institute of Science and Technology, Japan | On the first-order part of Ramsey's theorem for pairs |
| Liang Yu National University of Singapore and Nanjing University, China | |
| Thomas Zeugmann Hokkaido University, Japan | Active learning of classes of recursive functions by ultrametric algorithms (PDF) |