<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">CALL FOR PAPERS</div><div dir="ltr">18th Asian Symposium on Programming Languages and Systems (APLAS 2020)</div><div dir="ltr">Nov 29-Dec 3, 2020</div><div dir="ltr">Fukuoka, Japan</div><div dir="ltr"><br></div><div dir="ltr"><a href="https://conf.researchr.org/home/aplas-2020">https://conf.researchr.org/home/aplas-2020</a></div><div dir="ltr"><br></div><div dir="ltr">The 18th Asian Symposium on Programming Languages and Systems (APLAS 2020)</div><div dir="ltr">aims to stimulate programming language research by providing a forum for</div><div dir="ltr">the presentation of the latest results and the exchange of ideas in</div><div dir="ltr">programming languages and systems.  APLAS is based in Asia but is an</div><div dir="ltr">international forum that serves the worldwide programming languages</div><div dir="ltr">community. APLAS 2020 will be tentatively held in Nishijin Plaza,</div><div dir="ltr">Fukuoka City, Japan between November 30th and 2rd of December 2020.</div><div dir="ltr">Due to the COVID-19 situation, all authors will be given the chance to</div><div dir="ltr">present remotely regardless of whether the conference is held as a</div><div dir="ltr">physical, virtual, or hybrid physical/virtual meeting.</div><div dir="ltr"><br></div><div dir="ltr">Papers are solicited on topics such as:</div><div dir="ltr"><br></div><div dir="ltr">- Semantics, logics, foundational theory</div><div dir="ltr">- Design of languages, type systems, and foundational calculi</div><div dir="ltr">- Domain-specific languages</div><div dir="ltr">- Compilers, interpreters, abstract machines</div><div dir="ltr">- Program derivation, synthesis, and transformation</div><div dir="ltr">- Program analysis, verification, model-checking</div><div dir="ltr">- Logic, constraint, probabilistic, and quantum programming</div><div dir="ltr">- Software security</div><div dir="ltr">- Concurrency and parallelism</div><div dir="ltr">- Tools and environments for programming and implementation</div><div dir="ltr"><br></div><div dir="ltr">Topics are not limited to those discussed in previous symposiums. Papers</div><div dir="ltr">identifying future directions of programming and those addressing the rapid</div><div dir="ltr">changes of the underlying computing platforms are especially welcome.</div><div dir="ltr">Demonstration of systems and tools in the scope of APLAS are welcome to the</div><div dir="ltr">System and Tool demonstrations category. Authors concerned about the</div><div dir="ltr">appropriateness of a topic are welcome to consult with program chair prior</div><div dir="ltr">to submission.</div><div dir="ltr"><br></div><div dir="ltr"><br></div><div dir="ltr">IMPORTANT DATES</div><div dir="ltr"><br></div><div dir="ltr">Abstract deadline: June 26th, 2020 (anywhere on Earth)</div><div dir="ltr">Submission deadline: July 3rd, 2020 (anywhere on Earth)</div><div dir="ltr">Author response: August 3-5, 2020</div><div dir="ltr">Author notification: August 14, 2020</div><div dir="ltr">Final version: September 1, 2020</div><div dir="ltr">Conference: November 30 - December 2, 2020</div><div dir="ltr"><br></div><div dir="ltr"><br></div><div dir="ltr">CALL FOR REGULAR RESEARCH PAPERS</div><div dir="ltr"><br></div><div dir="ltr">We solicit submissions in the form of regular research papers describing</div><div dir="ltr">original scientific research results, including system development and case</div><div dir="ltr">studies. Regular research papers should not exceed 18 pages in the Springer</div><div dir="ltr">LNCS format, including bibliography and figures. This category encompasses</div><div dir="ltr">both theoretical and implementation (also known as system descriptions)</div><div dir="ltr">papers. In either case, submissions should clearly identify what has been</div><div dir="ltr">accomplished and why it is significant. Submissions will be judged on the</div><div dir="ltr">basis of significance, relevance, correctness, originality, and clarity.</div><div dir="ltr">System descriptions papers should contain a link to a working system and</div><div dir="ltr">will be judged on originality, usefulness, and design. In case of lack of</div><div dir="ltr">space, proofs, experimental results, or any information supporting the</div><div dir="ltr">technical results of the paper could be provided as an appendix or a link</div><div dir="ltr">to a web page, but reviewers are not obliged to read them.</div><div dir="ltr"><br></div><div dir="ltr">CALL FOR TOOL PAPERS</div><div dir="ltr"><br></div><div dir="ltr">We solicit submissions in the form of tool papers describing a</div><div dir="ltr">demonstration of a tool or a system that support theory, program</div><div dir="ltr">construction, reasoning, or program execution in the scope of APLAS. The</div><div dir="ltr">main purpose of a tool paper is to display a completed, robust and</div><div dir="ltr">well-documented tool-highlighting the overall functionality of the tool,</div><div dir="ltr">the interfaces of the tool, interesting examples and applications of the</div><div dir="ltr">tool, an assessment of the tool’s strengths and weaknesses, and a summary</div><div dir="ltr">of documentation/support available with the tool. Authors of tool</div><div dir="ltr">demonstration proposals are expected to present a live demonstration of the</div><div dir="ltr">tool at the conference. It is highly desirable that the tools are available</div><div dir="ltr">on the web. System and Tool papers should not exceed 8 pages in the</div><div dir="ltr">Springer LNCS format, including bibliography and figures. They may include</div><div dir="ltr">an additional appendix of up to 6 extra pages giving the outline,</div><div dir="ltr">screenshots, examples, etc. to indicate the content of the proposed live</div><div dir="ltr">demo.</div><div dir="ltr"><br></div><div dir="ltr">PROGRAM COMMITTEE</div><div dir="ltr"><br></div><div dir="ltr">Edwin Brady, University of St. Andrews, UK</div><div dir="ltr">Soham Chakraborty, IIT Delhi, India</div><div dir="ltr">Andreea Costea, National University Of Singapore, Singapore</div><div dir="ltr">Silvia Crafa, University of Padova, Italy</div><div dir="ltr">Pierre-Evariste Dagand, LIP6/CNRS, France </div><div dir="ltr">Mila Dalla Preda, University of Verona, Italy</div><div dir="ltr">Cristina David, University of Oxford, UK</div><div dir="ltr">Benjamin Delaware, Purdue University, US</div><div dir="ltr">Florian Rabe, University of Erlangen, Germany</div><div dir="ltr">Jeremy Gibbons, University of Oxford, UK</div><div dir="ltr">Ichiro Hasuo, National Institute of Informatics, Japan</div><div dir="ltr">Sam Lindley, The University of Edinburgh, UK</div><div dir="ltr">James McKinna, The University of Edinburgh, UK</div><div dir="ltr">Madhavan Mukund, Chennai Mathematical Institute, India</div><div dir="ltr">Hakjoo Oh, Korea University, South Korea</div><div dir="ltr">Sukyoung Ryu, KAIST, South Korea</div><div dir="ltr">Tom Schrijvers, KU Leuven, Belgium</div><div dir="ltr">Ilya Sergey, Yale-NUS College and National University of Singapore, Singapore</div><div dir="ltr">Marco Servetto, Victoria University Wellington, New Zealand</div><div dir="ltr">Wouter Swierstra, Utrecht University, Netherlands</div><div dir="ltr">Alwen Tiu, The Australian National University, Australia</div><div dir="ltr">Sam Tobin-Hochstadt, Indiana University, US</div><div dir="ltr">Janis Voigtländer, University of Duisburg-Essen, Germany</div><div dir="ltr">Meng Wang, University of Bristol, UK</div><div dir="ltr">Nicolas Wu, Imperial College London, UK</div><div dir="ltr">Yizhou Zhang, Harvard University / University of Waterloo, US</div><div dir="ltr">Tijs van der Storm, CWI & University of Groningen, Netherlands</div><div dir="ltr">Shigeru Chiba, The University of Tokyo, Japan</div><div dir="ltr"><br></div><div dir="ltr">SUBMISSION INFORMATION</div><div dir="ltr"><br></div><div dir="ltr">Papers should be submitted electronically via the submission web page using</div><div dir="ltr">HotCRP (<a href="https://aplas2020.hotcrp.com">https://aplas2020.hotcrp.com</a>).</div><div dir="ltr">The acceptable format is PDF. Submitted papers must be unpublished and not</div><div dir="ltr">submitted for publication elsewhere. Papers must be written in English.</div><div dir="ltr">The proceedings will be published as a volume in Springer’s LNCS series.</div><div dir="ltr">Accepted papers must be presented at the conference.</div><div dir="ltr"><br></div><div dir="ltr"><br></div><div dir="ltr">REVIEW PROCESS</div><div dir="ltr"><br></div><div dir="ltr">APLAS 2020 will use a lightweight double-blind reviewing process. Following</div><div dir="ltr">this process means that reviewers will not see the authors’ names or</div><div dir="ltr">affiliations as they initially review a paper. The authors’ names will then</div><div dir="ltr">be revealed to the reviewers only once their reviews have been submitted.</div><div dir="ltr">To facilitate this process, submitted papers must adhere to the following:</div><div dir="ltr">Author names and institutions must be omitted and</div><div dir="ltr">References to the authors’ own related work should be in the third person</div><div dir="ltr">(e.g., not “We build on our previous work …” but rather “We build on the</div><div dir="ltr">work of …”).</div><div dir="ltr">The purpose of this process is to help the reviewers come to an initial</div><div dir="ltr">judgement about the paper without bias, not to make it impossible for them</div><div dir="ltr">to discover the authors if they were to try. Nothing should be done in the</div><div dir="ltr">name of anonymity that weakens the submission, makes the job of reviewing</div><div dir="ltr">the paper more difficult, or interferes with the process of disseminating</div><div dir="ltr">new ideas. For example, important background references should not be</div><div dir="ltr">omitted or anonymised, even if they are written by the same authors and</div><div dir="ltr">share common ideas, techniques, or infrastructure. Authors should feel free</div><div dir="ltr">to disseminate their ideas or draft versions of their paper as they</div><div dir="ltr">normally would. For instance, authors may post drafts of their papers on</div><div dir="ltr">the web or give talks on their research ideas.</div><div dir="ltr"><br></div><div dir="ltr">AUTHOR RESPONSE PERIOD</div><div dir="ltr"><br></div><div dir="ltr">During the author response period, authors will be able to read reviews and</div><div dir="ltr">respond to them as appropriate.</div><div dir="ltr"><br></div><div dir="ltr">RESEARCH INTEGRITY</div><div dir="ltr"><br></div><div dir="ltr">The Program Committee reserves the right, up until the time of publication,</div><div dir="ltr">to reverse a decision of paper acceptance. Reversal is possible if fatal</div><div dir="ltr">flaws are discovered in the paper, or research integrity is found to have</div><div dir="ltr">been seriously breached.</div><div dir="ltr"><br></div><div dir="ltr">ABOUT Fukuoka City</div><div dir="ltr"><br></div><div dir="ltr">Fukuoka is a compact city. It only takes 10 minutes by subway from the</div><div dir="ltr">airport to the city center. It takes 10 minutes by subway from the</div><div dir="ltr">city center to Nishijin Station.</div></div></div></div></div>