The 15th Asian Logic Conference, July 10 - 14, 2017, Daejeon, Korea
photo from http://namsu0615.blog.me/
Plenary Speakers
Johann Makowsky (Technion IIT, Israel)
Yinhe Peng (University of Toronto, Canada)
Katrin Tent (University of Münster, Germany)
Byeong-uk Yi (University of Toronto, Canada)
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)
Takako Nemoto (JAIST, Japan)
Sungwoo Park (Postech, Korea)
Norbert Preining (Accelia Inc., Japan)
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
Joongol Kim (Sungkyunkwan University, Korea)
Fenrong Liu (Tsinghua University, China)
Kamal Lodaya (IMSc, India)
Tomoyuki Yamada (Hokkaido University, Japan)
-
Set Theory
Yurii Khomskii (University of Hamburg, Germany)
Paul Larson (Miami University, USA)
Diego Mejía (Shizuoka University, Japan)
Hiroshi Sakai (Kobe University, Japan)