[Caml-list] APLAS 2016 Call for papers

*********************************************************************
APLAS 2016, Call for Papers
14th Asian Symposium on Programming Languages and Systems
Hanoi, Vietnam, November 21-23, 2016
http://soict.hust.edu.vn/~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)


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs