Call for Papers: APLAS 2025

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

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

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

Scope and Topics of Interest

We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Solicited topics include, but are not limited to:

• Programming paradigms and styles: functional, object-oriented, probabilistic, logic, constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms.
• Methods and tools to specify and reason about programs and languages: programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing.
• Programming language foundations: formal semantics; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation.
• Methods and tools for implementation: compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis.
• Concurrency and distribution: process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems.
• Applications and emerging topics: programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification.

Submission Information

• Submissions should not exceed 17 pages, excluding bibliography, in the Springer LNCS format.
• The LaTeX template is available at Springer’s Information for Authors.
• Accepted papers will be allowed one extra page to accommodate reviewers’ feedback.
• Additional material intended for reviewers but not for publication in the final version (e.g., details of proofs) may be placed in a clearly marked appendix that is not included in the page limit. Reviewers are not obligated to review it.
• Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English.
• Accepted papers must be presented at the conference.
• Authors can refer to Springer Nature Code of Conduct for Authors.
• Papers should be submitted via HotCRP: https://aplas25.hotcrp.com/

Reviewing Process

APLAS uses a light double-blind reviewing process, with a rebuttal phase, to address factual errors and minor misunderstandings. Reviewers will not see author names until they submit a review. Authors must adhere to the following rules:

• Omit your names and institutions.
• Refer to your prior work in the third person, just as you refer to prior work by others.
• Omit the acknowledgments.

Nothing should be done in the name of anonymity that weakens the submission or makes reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). Authors may post drafts of their papers on the web or give talks on their research ideas. For more details, see the FAQ: https://2025.splashcon.org/track/OOPSLA#faq.

Publication

The proceedings will be published as a volume in Springer’s LNCS series. Previous APLAS proceedings can be found on SpringerLink. Authors interested in making their contributions Open Access can refer to Springer’s webpage for additional information.

Best Paper Award

APLAS continues the tradition of the best paper award. The award will be announced on the website, and printed certificates will be issued to the authors at the conference.

Important Dates (AoE - UTC-12h)

• Submission Deadline: Sat 7 Jun 2025
• Author Response Period: Mon 7 - Wed 9 Jul 2025
• Acceptance Notification: Fri 18 Jul 2025
• Camera Ready Deadline: Sun 31 Aug 2025

Contact

For general inquiries, please use the contact form.