The Coq mailing list

[Andreea Costea <andreeac AT comp.nus.edu.sg>]

                       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://conf.researchr.org/home/aplas-2022

       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://aplas2022.hotcrp.com

Call for AEC nominations:

 
https://conf.researchr.org/track/aplas-2022/aplas-2022-aec#Reviewer-Information

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