
18th Asian Logic Conference (ALC)
September 8 - 12, 2025
Kyoto Sangyo University, Kyoto, Japan
The Asian Logic Conference is a major international event in mathematical logic. It features the latest scientific developments in the fields of mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.
From 1981 to 2008, the Asian Logic Conference has been held triennially and rotated among countries in the Asia-Pacific region. The previous meetings took place in Singapore (1981), Bangkok (1984), Beijing (1987), Tokyo (1990), Singapore (1993), Beijing (1996), Hsi-Tou (1999), Chongqing (2002), Novosibirsk (2005), and Kobe (2008). In 2008, the East Asian and Australasian Committees of the Association for Symbolic Logic decided to shorten the three-year cycle to two. The new two-year cycle began with the meeting in Singapore (2009), and subsequent meetings have been held in Wellington (2011), Guangzhou (2013), Mumbai (2015), Daejeon (2017), Astana (2019), and Tianjin (2023). The 2021 meeting was postponed due to corona, and will now be held in Kyoto this year.
We invite contributed talks from all areas of logic.
June 8, 2025: Deadline for student travel support application
June 26, 2025: Opening of registration
July 31, 2025: Deadline for registration
July 31, 2025: Deadline for sending the necessary information for obtaining the forms for applying for a visa.
August 5, 2025: Deadline for (partial) refund of the registration fee in case of cancellation.
More to come
Mohua Banerjee (Indian Institute of Technology, Kanpur, India)
Longyun Ding (Nankai University, China)
Noam Greenberg (Victoria University of Wellington, New Zealand)
Takayuki Kihara (Nagoya University, Japan)
Keng Meng Ng (Nanyang Technological University, Singapore)
Dilip Raghavan (National University of Singapore, Singapore)
Katsuhiko Sano (Hokkaido University, Japan)
Kota Takeuchi (Tsukuba University, Japan)
Toshimichi Usuba (Waseda University, Japan)
Hiroyuki Miyoshi (Kyoto Sangyo University, Japan), co-chair
Shinya Katsumata (Kyoto Sangyo University, Japan)
Akitoshi Kawamura (Kyoto University, Japan)
Makoto Kikuchi (Kobe University, Japan)
Satoshi Kobayashi (Kyoto Sangyo University, Japan)
Keita Yokoyama (Tohoku University, Japan), chair of PC