The 15th Asian Logic Conference 2017


Date
07/10/2017 - 07/14/2017
Location
NIMS
Important Dates May 12, 2017: Contributed talk application closes. May 29, 2017: Deadline for the payment of reduced registration fee. June 30, 2017 (or when there are 120 registered participants before this date): Registration closes. July 10 - 14, 2017: Conference For full information, please visit: https://sites.google.com/view/alckorea/home Plenary Speakers: Johann Makowsky (Technion IIT, Israel) Sara Negri (University of Helsinki, Finland) Yinhe Peng (University of Toronto, Canada) Katrin Tent (University of Münster, Germany) Kwangkeun Yi (Seoul National University, Korea) Yimu Yin (Sun Yat-sen University, China) Liang Yu (Nanjing University, China) Yizheng Zhu (University of Münster, Germany) Special Session Speakers: -Computability: Vikraman Arvind (IMSc, India) Chi Tat Chong (National University of Singapore, Singapore) Marcus Hutter(to be confirmed) (Australian National University, Australia) Takako Nemoto (JAIST, Japan) Sungwoo Park (Postech, Korea) Linda Westrick (University of Connecticut, USA) -Model Theory: Jan Dobrowolski (University of Leeds, UK) Koichiro Ikeda (Hosei University, Japan) Junguk Lee (Yonsei University, Korea) Kota Takeuchi (University of Tsukuba, Japan) -Philosophical Logic: Fenrong Liu (Tsinghua University, China) Kamal Lodaya (IMSc, India) Tomoyuki Yamada (Hokkaido University, Japan) Byeong-uk Yi (University of Toronto, Canada) -Set Theory: Yurii Khomskii (University of Hamburg, Germany) Paul Larson (Miami University, USA) Diego Mejía (Shizuoka University, Japan) Hiroshi Sakai (Kobe University, Japan) Program Committee: Jörg Brendle (Kobe University, Japan) Rod Downey (Victoria University of Wellington, New Zealand) Qi Feng (Chinese Academy of Sciences, China) Byunghan Kim (Chair, Yonsei University, Korea) Fenrong Liu (Tsinghua University, China) R. Ramanujam (IMSc, India) Akito Tsuboi (University of Tsukuba, Japan) Yue Yang (National University of Singapore, Singapore) Local Committee: Inkyo Chung (Chair, Korea University, Korea) Joongol Kim (Sungkyunkwan University, Korea) Gyesik Lee (Hankyong National University, Korea) Martin Ziegler (KAIST, Korea)