ALC 2025

18th Asian Logic Conference (ALC)








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


Please be aware of scam emails from travel agencies claiming to make hotel reservations.
The 18th Asian Logic Conference (ALC) will be held from September 8 to September 12, 2025, at Kyoto Sangyo University in Kyoto, Japan. It will be the fourth ALC since its status changed from a meeting sponsored by the Association for Symbolic Logic (ASL) to an official ASL meeting by ASL Council action in May 2016.

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.

Important Dates
May 31, 2025: Deadline for contributed talk submission

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

Program Committee
Keita Yokoyama (Tohoku University, Japan), chair
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)
Local Organizing Committee
Jörg Brendle (Kobe University, Japan), co-chair
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