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