APLAS: Asian Symposium on Programming Languages and Systems



Past:   Proceedings on DBLP

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


All CFPs on WikiCFP

Event When Where Deadline
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 : 2018

16th Asian Symposium on Programming Languages and Systems (APLAS)
Wellington, NZ, 3rd – 5th of December 2018

Abstract deadline: Tuesday, June 12, 2018
Submission deadline: Friday, June 15, 2018
Author response: Wednesday-Friday, July 25-27, 2018
Author notification: Monday, August 13, 2018
Camera-ready deadline: Friday, August 31, 2018
Conference: Monday-Friday, December 3-5, 2018

The symposium is devoted to foundational and practical issues broadly spanning the areas of programming languages and systems. Papers are solicited on topics such as

- Semantics, logics, foundational theory7
- Design of languages, type systems, and foundational calculi
- Domain-specific languages
- Compilers, interpreters, abstract machines
- Program derivation, synthesis, and transformation
- Program analysis, verification, model-checking
- Logic, constraint, probabilistic, and quantum programming
- Software security
- Concurrency and parallelism
- Tools and environments for programming and implementation

Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool demonstrations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission.

We solicit submissions in two categories:

- Regular research papers describing original scientific research results, including system development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. This category encompasses both theoretical and implementation (also known as system descriptions) papers. In either case, submissions should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. System descriptions papers should contain a link to a working system and will be judged on originality, usefulness, and design. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them.
- System and tool demonstrations describing a demonstration of a tool or a system that support theory, program construction, reasoning, or program execution in the scope of APLAS. The main purpose of a tool paper is to display a completed, robust and well-documented tool–highlighting the overall functionality of the tool, the interfaces of the tool, interesting examples and applications of the tool, an assessment of the tool’s strengths and weaknesses, and a summary of documentation/support available with the tool. Authors of tool demonstration proposals are expected to present a live demonstration of the tool at the conference. It is highly desirable that the tools are available on the web. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. They may include an additional appendix of up to 6 extra pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo.
Papers should be submitted electronically via the submission web page using EasyChair. The acceptable format is PDF.

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.

APLAS 2018 will use a lightweight double-blind reviewing process. Following this process means that reviewers will not see the authors’ names or affiliations as they initially review a paper. The authors’ names will then be revealed to the reviewers only once their reviews have been submitted.

Amal Ahmed (Northeastern University, USA)
Isil Dillig (University of Texas, Austin, USA)
Viktor Vafeiadis (MPI-SWS, Germany)

General Co-Chairs:
Alex Potanin (Victoria University of Wellington, NZ)
David Pearce (Victoria University of Wellington, NZ)
Jens Dietrich (Massey University, Palmerston North, NZ)

Program Chair:
Sukyoung Ryu (KAIST, Korea)

Program Committee:
Sam Blackshear (Facebook, UK)
Bernd Burgstaller (Yonsei University, Korea)
Cristina David (University of Cambridge, UK)
Huimin Cui (Institute of Computing Technology, CAS, China)
Benjamin Delaware (Purdue University, USA)
Julian Dolby (IBM Thomas J. Watson Research Center, USA)
Yuxi Fu (Shanghai Jiao Tong University, China)
Aquinas Hobor (National University of Singapore, Singapore)
Tony Hosking (Australian National University / Data61, Australia)
Chung-Kil Hur (Seoul National University, Korea)
Atsushi Igarashi (Kyoto University, Japan)
Joxan Jaffar (National University of Singapore, Singapore)
Alexander Jordan (Oracle Labs., Australia)
Hakjoo Oh (Korea University, Korea)
Bruno C. d. S. Oliveira (The University of Hong Kong, Hong Kong)
Xiaokang Qiu (Purdue University, USA)
Tamara Rezk (INRIA, France)
Xavier Rival (CNRS / ENS / INRIA, France)
Ilya Sergey (University College London, UK)
Manuel Serrano (INRIA, France)
Xipeng Shen (North Carolina State University, USA)
Guy L. Steele Jr. (Oracle Labs., USA)
Alex Summers (ETH, Switzerland)
Tachio Terauchi (Waseda University, Japan)
Peter Thiemann (Universität Freiburg, Germany)
Ashutosh Trivedi (University of Colorado Boulder, USA)
Jingling Xue (UNSW Sydney, Australia)
Nobuko Yoshida (Imperial College London, UK)
Danfeng Zhang (Pennsylvania State University, USA)
Xin Zhang (MIT, USA)

Related Resources

CAIJ 2018   Computer Applications: An International Journal
IJPLA 2018   International Journal of Programming Languages and Applications
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
FACS 2018   15th International Conference on Formal Aspects of Component Software
POPL 2019   Symposium on Principles of Programming Languages
ASPLOS 2019   Architectural Support for Programming Languages and Operating Systems
DLS 2018   Dynamic Languages Symposium
OpenSuCo @ ISC HPC 2017   2017 International Workshop on Open Source Supercomputing
ACML 2018   The 10th Asian Conference on Machine Learning
LCPC 2018   The 31st International Workshop on Languages and Compilers for Parallel Computing