[Agda] APLAS 2019 Call for Papers
Shin-Cheng Mu
scm at iis.sinica.edu.tw
Fri May 24 05:49:42 CEST 2019
CALL FOR PAPERS
The 17th Asian Symposium on Programming Languages and Systems
(APLAS19) 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
2019 will be held in Bali, Indonesia on 2 - 4 December 2019.
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.
SUBMISSION INFORMATION
Papers should be submitted electronically via the submission web
page using EasyChair
(https://easychair.org/my/conference?conf=aplas19).
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 2019 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.
ABOUT BALI
Quoting from the Lonely Planet web site: “The mere mention of
Bali evokes thoughts of a paradise. It's more than a place; it's
a mood, an aspiration, a tropical state of mind.”.
https://www.lonelyplanet.com/indonesia/bali
More information about the Agda
mailing list