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