[Caml-list] APLAS 2026 Call for Papers (Wenjia Ye)

[Caml-list] APLAS 2026 Call for Papers (Wenjia Ye)

[Wenjia]

[-- Attachment #1: Type: text/plain, Size: 3638 bytes --]

APLAS 2026 -- The 24th Asian Symposium on Programming Languages and Systems
December 1-5, 2026, Hong Kong SAR, China

     https://conf.researchr.org/track/aplas-atva-2026/aplas-2026

APLAS 2026 aims to bring together programming language researchers,
practitioners, and implementors worldwide, to present and discuss the
latest results and exchange ideas in all areas of programming
languages and systems. APLAS 2026 is co-located with ATVA 2026.

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, 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.

Submissions should not exceed 17 pages, excluding bibliography, in the
Springer LNCS format. The 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, for example, details of proofs, may be placed in a
clearly marked appendix that is not included in the page limit. However,
the paper must be understandable without the appendix. 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.

APLAS uses a light double-blind reviewing process, with a rebuttal phase
to address factual errors and minor misunderstandings.

The proceedings will be published as a volume in Springer's Lecture
Notes in Computer Science series.

APLAS continues the tradition of the best paper award.

Important dates, AoE (UTC-12h):

     Submission deadline: Mon Jun 15, 2026
     Author response period: Wed Jul 15 - Fri Jul 17, 2026
     Acceptance notification: Tue Jul 28, 2026
     Camera-ready deadline: Tue Sep 8, 2026

Submission link:

     https://aplas26.hotcrp.com/

Further information:

     https://conf.researchr.org/track/aplas-atva-2026/aplas-2026

[-- Attachment #2: Type: text/html, Size: 4571 bytes --]