Welcome to AAFS

The Asian Association for Foundation of Software (AAFS) is an Asia-based association for supporting foundational research in Computer Software and related fields. AAFS organizes APLAS (Asian Symposium on Programming Languages and Systems) as its main conference, and supports several research meetings including FLOPS (International Symposium on Functional and Logic Programming).

Forthcoming Conferences

• APLAS 2026: 24th Asian Symposium on Programming Languages and Systems, Hong-Kong, SAR, Dec. 1-5, 2026.

Recent Past Conferences

• FLOPS 2026: 18th International Symposium on Functional and Logic Programming, Tsukuba, Japan, May 26-28, 2026.
• APLAS 2025: 23rd Asian Symposium on Programming Languages and Systems, Bengaluru, India, Oct. 27-30, 2025.
• APLAS 2024: 22nd Asian Symposium on Programming Languages and Systems, Kyoto, Japan, Oct. 22-25, 2024.
• FLOPS 2024: 17th International Symposium on Functional and Logic Programming, Kumamoto, Japan, May 15-17, 2024.
• APLAS 2023: 21st Asian Symposium on Programming Languages and Systems, Taipei, Taiwan, Nov. 27-29, 2023.
• APLAS 2022: 20th Asian Symposium on Programming Languages and Systems, co-located with SPLASH 2022, Dec., 2022.
• FLOPS 2022: 16th International Symposium on Functional and Logic Programming, online, May 10-12, 2022.
• APLAS 2021: 19th Asian Symposium on Programming Languages and Systems, online and co-located with SPLASH 2021, Oct., 2021.
• APLAS 2020: 18th Asian Symposium on Programming Languages and Systems, online, Nov.30-Dec.2, 2020.
• FLOPS 2020: 15th International Symposium on Functional and Logic Programming, online, Sep. 14-16, 2020.
• APLAS 2019: 17th Asian Symposium on Programming Languages and Systems, Bali, Indonesia, Dec. 2-4, 2019.
• APLAS 2018: 16th Asian Symposium on Programming Languages and Systems, Wellington, New Zealand, Dec. 3-7, 2018.
• FLOPS 2018: 14th International Symposium on Functional and Logic Programming, Nagoya, Japan, May 9-11, 2018.
• Past conferences.
• Old AAFS page.

Executive Committee

Co-Chairs

• Jacques Garrigue (Nagoya, Japan) [2024 - 2027]
• Sukyoung Ryu (Daejeon, Korea) [2023 - 2026]

Members

• Bor-Yuh Evan Chang (Boulder, USA)
• Wei Ngan Chin (Singapore)
• Xinyu Feng (Nanjing, China)
• Yuxi Fu (Shanghai, China)
• Zhenjiang Hu (Beijing, China)
• Atsushi Igarashi (Kyoto, Japan)
• Ranjit Jhala (San Diego, USA)
• Yukiyoshi Kameyama (Tsukuba, Japan)
• Naoki Kobayashi (Tokyo, Japan)
• Oleg Kiselyov (Osaka, Japan)
• Anthony W. Lin (Kaiserslautern, Germany)
• Shin-Cheng Mu (Taipei, Taiwan)
• Hakjoo Oh (Seoul, Korea)
• Bruno Oliveira (Hong Kong)
• Sungwoo Park (Pohang, Korea)
• Alex Potanin (Canberra, Australia)
• Ilya Sergey (Singapore)
• Chung-chieh Shan (Bloomington, USA)
• Zhong Shao (New Haven, USA)
• Kazunori Ueda (Tokyo, Japan)
• Hongseok Yang (Daejeon, Korea)
• Kwangkeun Yi (Seoul, Korea)

Former Members

• Manuel Chakravarty (Australia)
• Tyng-Ruey Chuang (Taiwan)
• Testuo Ida (Japan)
• Joxan Jaffar (Singapore)
• Shilong Ma (China)
• Atsushi Ohori (Japan)
• Ganesan Ramalingam (India)
• Akihiko Takano (Japan)
• Masato Takeichi (Japan)
• Harald Sondergaard (Australia)

Maintainer: Jacques Garrigue (garrigue [at] math.nagoya-u.ac.jp)