APLAS 2025

Welcome to the website of the 23rd Asian Symposium on Programming Languages and Systems (APLAS) 2025 conference.

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.

Call for Papers

Please see our Call for Papers.

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!

Program

Our final program is shown here. See you in India shortly!

Proceedings

The Proceedings is accessible at the following link:

LNCS Volume 16201: ​https://link.springer.com/book/10.1007/978-981-95-3585-9

The free access for the participants is granted until end of November 2025 (30th November 2025).