APLAS 2026 Call for Papers (Wenjia Ye)
Wenjia <[email protected]> Sat, 30 May 2026 19:11:55 +0800
| Newsgroups | gmane.comp.lang.caml.inria |
|---|---|
| Message-ID | <[email protected]> |
--Apple-Mail=_9DF94554-AD38-4619-B76E-D35A1C94B051
Content-Transfer-Encoding: 7bit
Content-Type: text/plain;
charset=us-ascii
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
--Apple-Mail=_9DF94554-AD38-4619-B76E-D35A1C94B051
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
charset=us-ascii
<html><head><meta http-equiv=3D"content-type" content=3D"text/html; =
charset=3Dus-ascii"></head><body style=3D"overflow-wrap: break-word; =
-webkit-nbsp-mode: space; line-break: after-white-space;">APLAS 2026 -- =
The 24th Asian Symposium on Programming Languages and =
Systems<br>December 1-5, 2026, Hong Kong SAR, =
China<br><br> <a =
href=3D"https://conf.researchr.org/track/aplas-atva-2026/aplas-2026">https=
://conf.researchr.org/track/aplas-atva-2026/aplas-2026</a><br><br>APLAS =
2026 aims to bring together programming language =
researchers,<br>practitioners, and implementors worldwide, to present =
and discuss the<br>latest results and exchange ideas in all areas of =
programming<br>languages and systems. APLAS 2026 is co-located with ATVA =
2026.<br><br>We solicit submissions in the form of regular research =
papers<br>describing original scientific research results, including =
system<br>development and case studies. Among others, solicited topics =
include:<br><br>- programming paradigms and styles: functional, =
object-oriented,<br> probabilistic, logic, constraint programming; =
extensible programming<br> languages; programming languages for =
systems code; novel programming<br> paradigms;<br><br>- methods and =
tools to specify and reason about programs and =
languages:<br> programming techniques; meta-programming; =
domain-specific languages;<br> proof assistants; type systems; =
dependent types; program logics,<br> static and dynamic program =
analysis; language-based security; model<br> checking; =
testing;<br><br>- programming language foundations: formal semantics; =
type theory;<br> logical foundations; category theory; automata; =
effects; monads and<br> comonads; recursion and corecursion; =
continuations and effect<br> handlers; program verification; memory =
models; abstract<br> interpretation;<br><br>- methods and tools for =
implementation: compilers; program<br> transformations; rewriting =
systems; partial evaluation; virtual<br> machines; refactoring; =
intermediate languages; run-time environments;<br> garbage =
collection and memory management; tracing; profiling; =
build<br> systems; program synthesis;<br><br>- concurrency and =
distribution: process algebras; concurrency theory;<br> session =
types; parallel programming; service-oriented =
computing;<br> distributed and mobile computing; actor-based =
languages; verification<br> and testing of concurrent and =
distributed systems;<br><br>- applications and emerging topics: =
programming languages and PL<br> methods in education, security, =
privacy, database systems,<br> computational biology, signal =
processing, graphics,<br> human-computer interaction, =
computer-aided design, artificial<br> intelligence and machine =
learning; case studies in program analysis<br> and =
verification.<br><br>Submissions should not exceed 17 pages, excluding =
bibliography, in the<br>Springer LNCS format. The accepted papers will =
be allowed one extra page<br>to accommodate reviewers' =
feedback.<br><br>Additional material intended for reviewers but not for =
publication in<br>the final version, for example, details of proofs, may =
be placed in a<br>clearly marked appendix that is not included in the =
page limit. However,<br>the paper must be understandable without the =
appendix. Reviewers are not<br>obligated to review it.<br><br>Submitted =
papers must be unpublished and not submitted for =
publication<br>elsewhere. Papers must be written in English. Accepted =
papers must be<br>presented at the conference.<br><br>APLAS uses a light =
double-blind reviewing process, with a rebuttal phase<br>to address =
factual errors and minor misunderstandings.<br><br>The proceedings will =
be published as a volume in Springer's Lecture<br>Notes in Computer =
Science series.<br><br>APLAS continues the tradition of the best paper =
award.<br><br>Important dates, AoE =
(UTC-12h):<br><br> Submission deadline: Mon =
Jun 15, 2026<br> Author response period: =
Wed Jul 15 - Fri Jul 17, =
2026<br> Acceptance notification: Tue Jul =
28, 2026<br> Camera-ready deadline: Tue Sep =
8, 2026<br><br>Submission link:<br><br> <a =
href=3D"https://aplas26.hotcrp.com/">https://aplas26.hotcrp.com/</a><br><b=
r>Further information:<br><br> <a =
href=3D"https://conf.researchr.org/track/aplas-atva-2026/aplas-2026">https=
://conf.researchr.org/track/aplas-atva-2026/aplas-2026</a></body></html>=
--Apple-Mail=_9DF94554-AD38-4619-B76E-D35A1C94B051--