<div dir="ltr"><div>*********************************************************************</div><div>APLAS 2015, Call for Papers</div><div>13th Asian Symposium on Programming Languages and Systems</div><div>Pohang, Korea, November 30 - December 2, 2015</div><div>< <a href="http://pl.postech.ac.kr/aplas2015/">http://pl.postech.ac.kr/aplas2015/</a>></div><div>*********************************************************************</div><div><br></div><div>*IMPORTANT DATES*</div><div>Submission deadline:<span class="" style="white-space:pre"> </span>June 5, 2015 </div><div>Author notification:<span class="" style="white-space:pre"> </span>August 17, 2015</div><div>Final version:<span class="" style="white-space:pre">              </span>September 7, 2015</div><div>Conference:<span class="" style="white-space:pre">               </span>November 30 - December 2, 2015</div><div><br></div><div>*INVITED SPEAKERS*</div><div>Peter O'Hearn, <span class="" style="white-space:pre">        </span>Facebook</div><div>Sukyoung Ryu, <span class="" style="white-space:pre">     </span>KAIST</div><div>Eran Yahav, <span class="" style="white-space:pre">  </span>Technion</div><div>Hongseok Yang, <span class="" style="white-space:pre">    </span>University of Oxford</div><div><br></div><div>*ABOUT*</div><div>APLAS aims to stimulate programming language research by providing a </div><div>forum for the presentation of latest results and the exchange of </div><div>ideas in programming languages and systems. APLAS is based in Asia, </div><div>but is an international forum that serves the worldwide programming </div><div>language community.</div><div><br></div><div>APLAS is sponsored by the  Asian Association for Foundation of </div><div>Software (AAFS), founded by Asian researchers in cooperation with </div><div>many researchers from Europe and the USA. Past APLAS symposiums were </div><div>successfully held in Singapore ('14), Melbourne ('13), Kyoto ('12), </div><div>Kenting ('11),  Shanghai ('10),  Seoul ('09),  Bangalore ('08), </div><div>Singapore ('07),  Sydney ('06),  Tsukuba ('05),  Taipei ('04)  and </div><div>Beijing ('03) after three informal workshops. Proceedings of the past </div><div>symposiums were published in Springer's LNCS.</div><div><br></div><div>*TOPICS*</div><div>The symposium is devoted to foundational and practical issues in </div><div>programming languages and systems. Papers are solicited on topics </div><div>such as</div><div>* semantics, logics, foundational theory</div><div>* design of languages, type systems and foundational calculi</div><div>* domain-specific languages</div><div>* compilers, interpreters, abstract machines</div><div>* program derivation, synthesis and transformation</div><div>* program analysis, verification, model-checking</div><div>* logic, constraint, probabilistic and quantum programming</div><div>* software security</div><div>* concurrency and parallelism</div><div>* tools and environments for programming and implementation</div><div>Topics are not limited to those discussed in previous symposiums. </div><div>Papers identifying future directions of programming and those </div><div>addressing the rapid changes of the underlying computing platforms </div><div>are especially welcome. Demonstration of systems and tools in the </div><div>scope of APLAS are welcome to the System and Tool presentations </div><div>category. Authors concerned about the appropriateness of a topic are </div><div>welcome to consult with program chair prior to submission.</div><div><br></div><div>*SUBMISSION*</div><div>We solicit submissions in two categories:</div><div>a) Regular research papers</div><div> - describing original scientific research results, including tool </div><div>   development and case studies. Regular research papers should not </div><div>   exceed 18 pages in the Springer LNCS format, including </div><div>   bibliography and figures. They should clearly identify what has </div><div>   been accomplished and why it is significant. Submissions will be </div><div>   judged on the basis of significance, relevance, correctness, </div><div>   originality, and clarity. In case of lack of space, proofs, </div><div>   experimental results, or any information supporting the technical </div><div>   results of the paper could be provided as an appendix or a link to </div><div>   a web page, but reviewers are not obliged to read them.</div><div>b) System and tool presentations</div><div> - describing systems or tools that support theory, program </div><div>   construction, reasoning, or program execution in the scope of </div><div>   APLAS. System and Tool presentations are expected to be centered </div><div>   around a demonstration. The paper and the demonstration should </div><div>   identify the novelties of the tools and use motivating examples. </div><div>   System and Tool papers should not exceed 8 pages in the Springer </div><div>   LNCS format, including bibliography and figures. Submissions will </div><div>   be judged based on both the papers and the described systems or </div><div>   tools. It is highly desirable that the tools are available on the </div><div>   web.</div><div>Submitted papers must be unpublished and not submitted for </div><div>publication elsewhere. Papers must be written in English. </div><div>The proceedings will be published as a volume in Springer's </div><div>LNCS series. Accepted papers must be presented at the conference.</div><div><br></div><div>*ORGANIZERS*</div><div>General Chair:</div><div>Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea)</div><div><br></div><div>Program Chair:</div><div>Xinyu Feng (Univ. of Science and Technology of China, China)</div><div><br></div><div>Program Committee:</div><div>James Brotherston (Univ. College London, UK)</div><div>James Cheney (Univ. of Edinburgh, UK)</div><div>Huimin Cui (Institute of Computing Technology, CAS, China)</div><div>Mike Dodds (Univ. of York, UK)</div><div>Xinyu Feng (Univ. of Science and Technology of China, China)</div><div>Nate Foster (Cornell Univ., USA)</div><div>Alexey Gotsman (IMDEA Software Institute, Spain)</div><div>Aquinas Hobor </div><div>(School of Computing, National Univ. of Singapore / Yale-NUS College)</div><div>Chung-Kil Hur (Seoul National Univ., Korea)</div><div>Radha Jagadeesan (DePaul Univ., USA)</div><div>Annie Liu (Stony Brook Univ., USA)</div><div>Andreas Lochbihler (ETH Zurich, Switzerland)</div><div>Santosh Nagarakatte (Rutgers Univ., USA)<span class="" style="white-space:pre">      </span></div><div>David A. Naumann (Stevens Inst. of Tech., USA)</div><div>Michael Norrish (NICTA, Australia)</div><div>Hakjoo Oh (Seoul National Univ., Korea)</div><div>Murali Krishna Ramanathan (Indian Institute of Science, India)</div><div>Xavier Rival (CNRS / ENS / INRIA, France)</div><div>Kohei Suenaga (Kyoto Univ., Japan)</div><div>Gang Tan (Lehigh Univ., USA)</div><div>Alwen Tiu (Nanyang Technological University, Singapore)</div><div>Martin Vechev (ETH Zurich, Switzerland)</div><div>Bow-Yaw Wang (Academia Sinica, Taiwan)</div><div>Nobuko Yoshida (Imperial College London, UK)</div><div>Lijun Zhang (Institute of Software, CAS, China)</div><div><br></div></div>