[TYPES/announce] APLAS 2016 Final Call for papers (abstract Jun. 12/paper Jun. 17)

[Atsushi Igarashi]

[NB.  Apparently some people have trouble with viewing the symposium
      web site.  We have created a mirror site. -- Atsushi ]

*********************************************************************
APLAS 2016, Final Call for Papers
14th Asian Symposium on Programming Languages and Systems
Hanoi, Vietnam, November 21-23, 2016
http://soict.hust.edu.vn/~aplas2016/
 (mirror: http://www.fos.kuis.kyoto-u.ac.jp/aplas2016/)
*********************************************************************

*IMPORTANT DATES*
Abstract deadline:	June 12, 2016
Submission deadline:	June 17, 2016
Author notification:	August 15, 2016
Final version:		August 31, 2016
Conference:		November 21 - 23, 2016

*ABOUT*
APLAS aims to stimulate programming language research by providing a 
forum for the presentation of 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 
language community.

APLAS is sponsored by the Asian Association for Foundation of Software
(AAFS), founded by Asian researchers in cooperation with many
researchers from Europe and the USA. Past APLAS symposiums were
successfully held in Pohang ('15), Singapore ('14), Melbourne ('13),
Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore
('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and
Beijing ('03) after three informal workshops. Proceedings of the past
symposiums were published in Springer's LNCS.

*TOPICS*
The symposium is devoted to foundational and practical issues in 
programming languages and systems. 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
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.

*SUBMISSION*
We solicit submissions in two categories:
a) 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.

b) 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 
<https://easychair.org/conferences/?conf=aplas2016> using EasyChair.
Acceptable formats are 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.

*ORGANIZERS*
General Co-Chairs:
Thang Huynh Quyet (Hanoi University of Science and Technology, Vietnam)
Nguyen Viet Ha (Vietnam National University, Hanoi, Vietnam)

Program Chair:
Atsushi Igarashi (Kyoto University, Japan)

Program Committee:
Andreas Abel (Gothenburg University, Sweden)
Walter Binder (University of Lugano, Switzerland)
Sandrine Blazy (University of Rennes 1 – IRISA, France)
Iliano Cervesato (CMU, Qatar)
Bor-Yuh Evan Chang (University of Colorado Boulder, USA)
Kung Chen (National Chengchi University, Taipei, Taiwan)
Yuxi Fu (Shanghai Jiao Tong University, China)
Oleg Kiselyov (Tohoku University, Japan)
Anthony W. Lin (Yale-NUS College, Singapore)
David Yu Liu (SUNY Binghamton, USA)
Hidehiko Masuhara (Tokyo Institute of Techonology, Japan)
Bruno C. d. S. Oliveira (The University of Hong Kong, Hong Kong)
Nadia Polikarpova (MIT, USA)
Alex Potanin (Victoria University of Wellington, New Zealand)
G. Ramalingam (Microsoft Research, India)
Quan-Thanh Tho (Ho Chi Minh City University of Technology, Vietnam)
Tamara Rezk (INRIA, France)
Sukyoung Ryu (KAIST, Korea)
Ulrich Schöpp (Ludwig-Maximilians-Universität München, Germany)
Éric Tanter (University of Chile, Chile)
Tachio Terauchi (JAIST, Japan)