The 21st Asian Symposium on Programming Languages and SystemsAPLAS 2023

News

• [2023/11/29] SRC and Poster Session awards announced
• [2023/11/23] Springer now provides free access to the conference proceedings for APLAS participants until 31 December 2023.
• [2023/11/07] Preliminary information about the excursion and food and drink around Academia Sinica added
• [2023/10/17] Banquet moved to Wednesday. Due to availability of the venue, the banquet is moved to Wednesday evening. We apologise for any inconvenience.
• [2023/09/22] Registration opened! Early registration deadline: 25 October 2023
• [2023/09/22] Information on accommodation and transportation updated
• [2023/09/21] Tentative programme announced
• [2023/09/21] Talks of APLAS-NIER workshop announced (more talks to be added)
• [2023/09/01] Certain PRC passport holders overseas are allowed to enter Taiwan for tourism. See the information page for PRC passport holders for more information.
• [2023/08/29] List of accepted SRC & poster presentations announced
• [2023/08/22] List of accepted papers announced
• [2023/08/15] Information for PRC passport holders online
• [2023/06/14] Submission deadline extended to Sun 18 Jun 2023 AoE
• [2023/05/23] The Student Research Competition and Posters track is calling for submissions!
• [2023/05/10] Distinguished Papers Awards! See information below.

About the Logo

Introduction

The 21st Asian Symposium on Programming Languages and Systems (APLAS) aims to stimulate programming language research by providing a forum for the presentation of the latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. This year’s conference is co-located with Agda Implementors’ Meeting XXXVII.

APLAS 2023 was held in Taipei, Taiwan from Monday 27th to Wednesday 29th November 2023. Before the main conference, the New Ideas and Emerging Results (NIER) workshop was held on Sunday 26th November 2023. There was also a student research competition and an associated poster session.

APLAS is organized by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were held in Auckland (’22), Chicago (’21), Fukuoka (’20), Bali (’19), Wellington (’18), Suzhou (’17), Hanoi (’16), Pohang (’15), Singapore (’14), Melbourne (’13), Kyoto (’12), Kenting (’11), Shanghai (’10), Seoul (’09), Bangalore (’08), Singapore (’07), Sydney (’06), Tsukuba (’05), Taipei (’04) and Beijing (’03) after three informal workshops.

Conference Proceedings

Proceedings of APLAS 2023 is published by Springer as part of Lecture Notes in Computer Science (LNCS), volume 14405.

Springer provides free access to the conference proceedings for APLAS participants until 31 December 2023, through the following link:

• https://link.springer.com/book/10.1007/978-981-99-8311-7.

Keynotes

Accepted Papers

Call for Submissions

Scope

We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include:

• programming paradigms and styles: functional programming; object-oriented programming; probabilistic programming; logic programming; 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. LaTeX template is available at Springer’s Information for Authors.

The accepted papers will be allowed to use one extra page for the content to accommodate feedback from the reviews in the final paper versions.

Papers should be submitted via HotCRP: https://aplas2023.hotcrp.com/.

The review process of APLAS 2023 is double-anonymous, with a rebuttal phase. In your submission, please, omit your names and institutions; refer to your prior work in the third person, just as you refer to prior work by others; do not include acknowledgments that might identify you.

Additional material intended for reviewers but not for publication in the final version – for example, details of proofs – may be placed in a clearly marked appendix that is not included in the page limit. Reviewers are at liberty to ignore appendices and papers must be understandable without them.

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.

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 please refer to Springer’s webpage for additional information.

Distinguished Paper Awards

Around 10% of the accepted papers of APLAS 2023 will be designated as Distinguished Papers, which highlights papers that the Program Committee recommends due to their excellent quality. The awards will be announced on this website, and printed certificates will be issued to the authors in the conference.