[TYPES/announce] CFP for APLAS'19 (Bali, Indonesia)

[Anthony W. Lin]

Apologies for multiple copies

CALL FOR PAPERS

The 17th Asian Symposium on Programming Languages and Systems (APLAS19;
https://conf.researchr.org/home/aplas-2019) 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 Hotel
Melia, Bali (Nusa Dua), Indonesia on 2 - 4 December 2019.

TOPICS

Solicited topics include (among others):
* 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


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.

IMPORTANT DATES (all anywhere on Earth)
Abstract deadline:     June 20, 2019 (updated)
Submission deadline:   June 23, 2019 (updated)
Author response: July 24-26, 2019
Author notification:   August 12, 2019
Final version:         August 30, 2019
Conference:           December 2 - 4, 2019


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

PROGRAM COMMITTEE

Timos Antonopoulos, Yale University, USA
Sandrine Blazy, Univ Rennes-IRISA, France
Yu-Fang Chen, Academia Sinica, TAiwan
Silvia Crafa, University of Padova, Italy
Vijay D'Silva, Google, USA
Jens Dietrich, Victoria University of Wellington, New Zealand
Rayna Dimitrova, Leicester University, UK
Julian Dolby, IBM Research, USA
Jeremy Gibbons, Oxford University, UK
Matthew Hague, Royal Holloway, University of London
Philipp Haller, KTH Royal Institute of Technology, Sweden
Ichiro Hasuo, National Institute of Informatics, Japan
Aquinas Hobor, National University of Singapore, Singapore
Ohad Kammar, University of Edinburgh, UK
Johannes Kinder, Bundeswehr University Munich, Germany
Ekaterina Komendantskaya, Heriot-Watt University, UK
Laura Kovacs, TU Wien, Austria
Quang Loc Le, Teesside University, UK
Martin Lester, University of Reading, UK
Hongjin Liang, Nanjing University, China
Anthony Widjaja Lin (chair), TU Kaiserslautern, Germany
Roland Meyer, TU Braunschweig, Germany
Alexandra Silva, University College London, UK
Makoto Tatsuta, National Institute of Informatics, Japan
Tachio Terauchi, Waseda University, Japan
Peter Thiemann, University of Freiburg, Germany
Alwen Tiu, Australian National University, Australia
Takeshi Tsukada, University of Tokyo, Japan
Hiroshi Unno, University of Tsukuba, Japan
Tomas Vojnar, Brno University of Technology, Czechia
Lijun Zhang, Institute of Software, Chinese Academy of Sciences, China
Damien Zufferey, MPI for Software Systems, Germany
Florian Zuleger, TU Wien, Austria

GENERAL CHAIR
Mirna Adriani, University of Indonesia, Indonesia

PUBLICITY CHAIR
Jens Dietrich, Victoria University of Wellington, New Zealand
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190614/18fcb81a/attachment-0001.html>