[logic-ml] Call for papers: APLAS 2021

[Kohei SUENAGA]

皆様，
（複数お受け取りの場合はご容赦ください．）

京都大学の末永です．

APLAS 2021 の論文募集をお送りします．
今年は co-located with SPLASH です．
どうぞご検討ください．

よろしくお願いいたします．

末永

==
CALL FOR PAPERS
19th Asian Symposium on Programming Languages and Systems (APLAS 2021)
Oct 17-Oct 22, 2021,
Chicago, Illinois (co-located with SPLASH 2021)

https://conf.researchr.org/home/aplas-2021

The 19th Asian Symposium on Programming Languages and Systems (APLAS 2021)
aims to stimulate programming language research by providing a forum for
the presentation of the 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. APLAS 2021 will be co-located with SPLASH 2021.

Due to the COVID-19 situation, all authors will be given the chance to
present remotely regardless of whether the conference is held as a
physical, virtual, or hybrid physical/virtual meeting.

Papers are solicited on topics such as:

- Semantics, logics, foundational theory
- 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
- Applications of SAT/SMT to 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 tools in the scope of APLAS are welcome to the Tool
paper category. Authors concerned about the appropriateness of a topic are
welcome to consult with program chair prior to submission.


IMPORTANT DATES

Submission deadline: June 16, 2021 (anywhere on Earth)
Author response: July 28 - 30, 2021
Author notification: August 11, 2021
Final version: September 1, 2021
Conference: October 17 - October 22, 2021


CALL FOR REGULAR RESEARCH PAPERS

We solicit submissions in the form of 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.

CALL FOR TOOL PAPERS

We solicit submissions in the form of tool papers 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.

PROGRAM COMMITTEE

Andreas Abel, Gothenburg University, Sweden
Kyungmin Bae, POSTECH, South Korea
Edwin Brady, University of St. Andrews, UK
Yu-Fang Chen, Academia Sinica, Taiwan
Andreea Costea, NUS, Singapore
Rayna Dimitrova, CISPA Helmholtz Center for Information Security,
Germany
Yu Feng, UC Santa Barbara, US
Giulio Guerrieri, University of Bath, UK
Kihong Heo, KAIST, South Korea
Yue Li, Nanjing University, China
Sam Lindley, Heriot-Watt University / University of Edinburgh, UK
Sergio Mover, Ecole Polytechnique, France
Uday P. Khedker, IIT Bombay, India
Alex Potanin, Victoria University of Wellington, New Zealand
Xiaokang Qiu, Purdue University, US
Jiasi Shen, MIT, US
Xujie Si, McGill University, Canada
Gagandeep Singh, VMWare Research / UIUC, US
Youngju Song, Seoul National University, South Korea
Kohei Suenaga, Kyoto University, Japan
Yulei Sui, University of Technology Sydney, Australia
Tachio Terauchi, Waseda University, Japan
Xinyu Wang, University of Michigan, US
Qirun Zhang, Georgia Institute of Technology, US
Xin Zhang, Peking University, China

SUBMISSION INFORMATION

Papers should be submitted electronically via the submission web page using
HotCRP (https://aplas2021.hotcrp.com).
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.

REVIEW PROCESS

APLAS 2021 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.
To facilitate this process, submitted papers must adhere to the following:
Author names and institutions must be omitted and
References to the authors’ own related work should be in the third
person (e.g., not “We build on our previous work …” but rather “We build on
the work of …”).
The purpose of this process is to help the reviewers come to an initial
judgement about the paper without bias, not to make it impossible for
them to discover the authors if they were to try. Nothing should be done in the
name of anonymity that weakens the submission, makes the job of
reviewing the paper more difficult, or interferes with the process of
disseminating new ideas. For example, important background references
should not be
omitted or anonymized, even if they are written by the same authors and
share common ideas, techniques, or infrastructure. Authors should feel
free to disseminate their ideas or draft versions of their paper as they
normally would. For instance, authors may post drafts of their papers on
the web or give talks on their research ideas.

AUTHOR RESPONSE PERIOD

During the author response period, authors will be able to read reviews
and respond to them as appropriate.

RESEARCH INTEGRITY

The Program Committee reserves the right, up until the time of
publication, to reverse a decision of paper acceptance. Reversal is
possible if fatal
flaws are discovered in the paper, or research integrity is found to
have been seriously breached.

-- 
Kohei Suenaga (末永幸平), Ph.D
Associate professor (准教授)
Graduate School of Informatics, Kyoto University
(京都大学情報学研究科)
ksuenaga at gmail.com
http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/