18th Asian Logic Conference

Garden of Tenryuji (Arashiyama)

18^th Asian Logic Conference (ALC)

September 8 - 12, 2025
Kyoto Sangyo University, Kyoto, Japan

Plenary Speakers

Artem Chernikov (University of Maryland, USA)

Su Gao (Nankai University, China)

Fenrong Liu (Tsinghua University, China)

Takako Nemoto (Tohoku University, Japan)

Kazushige Terui (Kyoto University, Japan)

Dan Turetsky (Victoria University of Wellington, New Zealand)

Special Session Speakers

There will be five special sessions, in the areas of Set Theory (organized by Ashutosh Kumar, Dilip Raghavan, and Toshimichi Usuba), Computability Theory (organized by Takayuki Kihara and Keng Meng Ng), Model Theory (organized by Junguk Lee and Kota Takeuchi), Philosophical Logic (organized by Takuro Onishi and Katsuhiko Sano), and Proof Theory and Reverse Mathematics (organized by Yue Yang and Keita Yokoyama). Speakers are as follows:

Set Theory
Miguel Cardona (Hebrew University of Jerusalem, Israel)
Monroe Eskew (University of Vienna, Austria)
Tanmay Inamdar (Ben-Gurion University, Israel)
Šárka Stejskalová (Charles University, Czech Republic)
Teruyuki Yorioka (Shizuoka University, Japan)

Model Theory
Hirotaka Kikyo (Kobe University, Japan)
Scott Mutchnik (University of Illinois Chicago, USA)
Chieu-Minh Tran (National University of Singapore, Singapore)
Jinhe Ye (University of Oxford, UK)

Proof Theory and Reverse Mathematics
Taishi Kurahashi (Kobe University, Japan)
Yudai Suzuki (National Institute of Technology, Oyama, Japan)
Tin Lok Wong (National University of Singapore, Singapore)
Shuwei Wang (University of Leeds, UK)

Computability theory
Matthew de Brecht (Kyoto University, Japan)
Shuichi Hirahara (National Institute of Informatics, Japan)
Josiah Jacobsen-Grocott (Nanyang Technological University, Singapore)
Wei Wang (Sun Yat-Sen University, China)

Philosophical Logic
Sujata Ghosh (Indian Statistical Institute, Chennai, India)
Koji Mineshima (Keio University, Japan)
Nobu-Yuki Suzuki (Shizuoka University, Japan)
(TBA)