APLAS 2025

Welcome to the website of the 23rd Asian Symposium on Programming Languages and Systems (APLAS) 2025 conference. Please see our Call for Paper.

APLAS 2025 will occur from October 27 to 30, 2025, in Bangalore, India. This year’s conference is co-located with the 23rd edition of the International Symposium on Automated Technology for Verification and Analysis (ATVA) 2025.

UPDATE: The submission deadline is extended by one week to Saturday 7th of June 2025 AoE.

Keynote Speaker

We are proud to announce Dr. Prof. Peter Müller (ETH Zurich) as our plenary joint keynote for APLAS and ATVA 2025!