[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PAPERS
20th Asian Symposium on Programming Languages and Systems (APLAS 2022)
Dec 5-Dec 22, 2022
Auckland, New Zealand (co-located with SPLASH 2022)
https://urldefense.com/v3/__https://conf.researchr.org/home/aplas-2022__;!!IBzWLUs!XY8a-GXmhdL68TzuptxFsEgKTmuH1JjtcNXFqWpnUVi5Po4bKkx6pa4Zqqwi6wUet1ggKhNZKnywR8zSkvQwJQTefhpK06hSJ5UJ6gk$
Paper Submission Deadline: June 16, 2022, AoE
APLAS aims to stimulate programming language research by providing a
forum for
the presentation of 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.
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.
Submissions should not exceed 17 pages, excluding bibliography in the
Springer
LNCS format. 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.
The review process of APLAS 2022 is double-anonymous, with a rebuttal
phase.
APLAS 2022 will have post-paper-acceptance voluntary artefact evaluation
(new in
2022!). Authors of accepted will be welcome to submit artefacts for
evaluation
after paper notification. The outcome will not alter the paper
acceptance
decision.
Submit your paper at
https://urldefense.com/v3/__https://aplas2022.hotcrp.com__;!!IBzWLUs!XY8a-GXmhdL68TzuptxFsEgKTmuH1JjtcNXFqWpnUVi5Po4bKkx6pa4Zqqwi6wUet1ggKhNZKnywR8zSkvQwJQTefhpK06hS15Viksc$
Call for AEC nominations:
https://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2022/aplas-2022-aec*Reviewer-Information__;Iw!!IBzWLUs!XY8a-GXmhdL68TzuptxFsEgKTmuH1JjtcNXFqWpnUVi5Po4bKkx6pa4Zqqwi6wUet1ggKhNZKnywR8zSkvQwJQTefhpK06hSP_mJ9QA$
Important Dates:
* Paper Submission Deadline: 16 Jun 2022, AoE
* Author Response Period: Mon 1 - Wed 3 Aug 2022
* Author Notification: 15 Aug 2022
Programme Committee:
Anders Miltner, UT Austin
Andrzej S. Murawski, University of Oxford
Anton Podkopaev, Higher School of Economics
Aquinas Hobor, University College London
Arie Gurfinkel, University of Waterloo
Beniamino Accattoli, Inria
Casper Bach Poulsen, Delft University of Technology
Elena Zucca, University of Genova
Eric Koskinen, Stevens Institute of Technology
Farzaneh Derakhshan, Carnegie Mellon University
Ilya Sergey, National University of Singapore (PC Chair)
Isao Sasano, Shibaura Institute of Technology
Jan de Muijnck-Hughes, University of Glasgow
Jihyeok Park, Oracle Labs
Marco Gaboardi, Boston University
Marco Patrignani, University of Trento
Meenakshi D'Souza, IIIT Bangalore
Nengkun Yu, University of Technology Sydney
Ondrej Lengál, Brno University of Technology
Pierre-Marie Pédrot, Inria
Rumyana Neykova, Brunel University London
Shachar Itzhaky, Technion
Thi Thu Ha Doan, University of Freiburg
Umang Mathur, National University of Singapore
Xuan Bach Le, Singapore Management University
Youyou Cong, Tokyo Institute of Technology
Zhenjiang Hu, Peking University
Artefact Evaluation Committee Co-Chairs:
Arpita Dutta, National University of Singapore
Jan de Muijnck-Hughes, University of Glasgow
