Special Sessions
| Session 1: Proof theory (organized by Toshiyasu Arai) |
| 1. Hajime Ishihara, JAIST, Japan |
| 2. Gyesik Lee, Hankyong National University, Korea |
| 3. Keita Yokoyama, JAIST, Japan |
| Session 2: Set theory (organized by S.M. Srivastava) |
| 1. Jörg Brendle, Kobe University, Japan |
| 2. M.G. Nadkarni, Center for Basic Sciences, Mumbai |
| 3. Rehana Patel, Olin college of Engineering, Nedham, Massachusetts, USA |
| Session 3: Model theory and Algebraic Logic (organized by Mihir Chakraborty and Byunghan Kim) |
| 1. Artem Chernikov, Univ. Paris Diderot Paris 7 |
| 2. Alexei Kolesnikov, Towson University, Maryland |
| 3. Tomasz Kowalski, La Trobe University |
| Session 4: Recursion theory (organized by Yang Yue) |
| 1. Nikolay Bazhenov, Novosibirsk State University, Russia |
| 2. Kenshi Miyabe, Meiji University, Japan |
| 3. Satyadev Nandakumar, IIT Kanpur, India |
| 4. Daniel Turetsky, Kurt Godel Research Center, Austria |
| Session 5: Logic in Computer Science (organized by Supratik Chakraborty) |
| 1. Christel Baier, Technische Universität Dresden, Germany |
| 2. Prakash Panangaden, McGill University, Montréal, Québec, Canada |
| 3. Paritosh Pandya, TIFR, India |
| 4. Moshe Y. Vardi, Rice University, Texas, United States |
| Session 6: Philosophical Logic (organized by Fenrong Liu) |
| 1. Sujata Ghosh, Indian Statistical Institute, Chennai |
| 2. Katsuhiko Sano, JAIST, Japan |
| 3. Linton Wang, National Chung Cheng University, Taiwan |
| 4. Yanjing Wang, Peking University, China |