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 |