APLAS: Asian Symposium on Programming Languages and Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2024 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
APLAS 2023 The 21st Asian Symposium on Programming Languages and Systems
Nov 26, 2023 - Nov 29, 2023 Taipei, Taiwan Jun 15, 2023
APLAS 2018 16th Asian Symposium on Programming Languages and Systems
Dec 3, 2018 - Dec 5, 2018 Wellington, NZ Jun 15, 2018 (Jun 12, 2018)
APLAS 2017 Asian Symposium on Programming Languages and Systems
Nov 27, 2017 - Nov 29, 2017 Suzhou, China Jun 16, 2017 (Jun 13, 2017)
APLAS 2017 15th Asian Symposium on Programming Languages and Systems
Nov 27, 2017 - Nov 29, 2017 Suzhou, China Jun 16, 2017 (Jun 13, 2017)
APLAS 2016 14th Asian Symposium on Programming Languages and Systems
Nov 21, 2016 - Nov 23, 2016 Hanoi, Vietnam Jun 20, 2016 (Jun 16, 2016)
APLAS 2015 13th Asian Symposium on Programming Languages and Systems
Nov 30, 2015 - Dec 2, 2015 Pohang, Korea Jun 5, 2015
APLAS 2014 Asian Symposium on Programming Languages and Systems
Nov 17, 2014 - Nov 19, 2014 Singapore Jun 2, 2014 (May 26, 2014)
APLAS 2013 Asian Symposium on Programming Languages and Systems
Dec 9, 2013 - Dec 11, 2013 Melbourne, Australia Jun 14, 2013 (Jun 10, 2013)
APLAS 2011 Asian Symposium on Programming Languages and Systems
Dec 5, 2011 - Dec 7, 2011 Kenting, Taiwan Jun 17, 2011 (Jun 13, 2011)
APLAS 2010 Asian Symposium on Programming Languages and Systems
Nov 29, 2010 - Dec 1, 2010 Shanghai Jun 14, 2010 (Jun 7, 2010)
 
 

Present CFP : 2023

======================================================================
CALL FOR PAPERS

21st Asian Symposium on Programming Languages and Systems (APLAS 2023)
Taipei, Taiwan, Sun 26 – Wed 29 November 2023

https://conf.researchr.org/home/aplas-2023
======================================================================


IMPORTANT DATES
-------------------------------------
Submission deadline: Thu 15 Jun 2023 AoE
Author response: Mon 31 Jul 12:00 - Wed 2 Aug 12:00 2023 AoE
Author notification: Mon 14 Aug 2023 AoE
Final paper deadline: Wed 6 Sep 2023 AoE
Conference: Sun 26 – Wed 29 Nov 2023


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.


GENERAL INFORMATION
-------------------------------------
Submissions should not exceed 17 pages, excluding bibliography in the
Springer LNCS format. LaTeX template is available at:

https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines

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. The proceedings will be
published as a volume in Springer’s LNCS series. Accepted papers must
be presented at the conference.


POSTERS and STUDENT RESEARCH COMPETITION
----------------------------------------

APLAS 2023 includes a Posters session and a Student Research
Competition. For more details, please see the website.

https://conf.researchr.org/track/aplas-2023/posters-and-src


ORGANIZERS
-------------------------------------

General Chair:

Shin-Cheng Mu, Academia Sinica, Taiwan

Program Chair:

Chung-Kil Hur, Seoul National University, Korea

Publicity Chair:

Ryosuke Sato, University of Tokyo, Japan

Program Committee:

Soham Chakraborty, TU Delft, Netherlands
Yu-Fang Chen, Academia Sinica, Taiwan
Ronghui Gu, Columbia University, USA
Ichiro Hasuo, National Institute of Informatics, Japan
Ralf Jung, ETH Zurich, Switzerland
Ohad Kammar, University of Edinburgh, UK
Jeehoon Kang, KAIST, Korea
Jieung Kim, Inha University, Korea
Robbert Krebbers, Radboud University Nijmegen, Netherlands
Ori Lahav, Tel Aviv University, Israel
Doug Lea, State University of New York at Oswego, USA
Woosuk Lee, Hanyang University, Korea
Hongjin Liang, Nanjing University, China
Nuno P. Lopes, University of Lisbon, Portugal
Chandrakana Nandi, Certora and UW, USA
Liam O'Connor, The University of Edinburgh, UK
Bruno C. d. S. Oliveira, The University of Hong Kong, Hong Kong
Jihyeok Park, Korea University, Korea
Clément Pit-Claudel, EPFL, Switzerland
Matthieu Sozeau, Inria, France
Kohei Suenaga, Kyoto University, Japan
Tarmo Uustalu, Reykjavik University, Iceland
John Wickerson, Imperial College London, UK
Danfeng Zhang, Penn State University, USA
 

Related Resources

ASPLOS 2024   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Fall)
ASPLOS 2024   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Spring)
ASPLOS 2024   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Summer)
PLOS 2023   12th Workshop on Programming Languages and Operating Systems
SLE 2023   16th ACM SIGPLAN International Conference on Software Language Engineering
WAPL 2023   8th Workshop on Advances in Programming Languages (WAPL 2023)
OOPSLA (R2) 2023   The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity - Round 2
OCaml 2023   The OCaml Users and Developers Workshop
S3E 2023   FedCSIS - Track 5: Software, System and Service Engineering
IJPLA 2023   International Journal of Programming Languages and Applications