The Coq mailing list

[Sandrine Blazy <Sandrine.Blazy AT irisa.fr>]

*********************************************************************
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. They 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.  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 systems or tools that support theory, program
  construction, reasoning, or program execution in the scope of
  APLAS.  The paper and the demonstration should identify the
  novelties of the tools and use motivating examples.  System and
  Tool papers should not exceed 8 pages in the Springer LNCS format,
  including bibliography and figures. Submissions will be judged
  based on both the papers and the described systems or tools. It is
  highly desirable that the tools are available on the web.

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 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)